diff options
author | DJ Delorie <dj@redhat.com> | 2003-03-30 17:01:00 -0500 |
---|---|---|
committer | DJ Delorie <dj@gcc.gnu.org> | 2003-03-30 17:01:00 -0500 |
commit | ececa172241797d42e5f98652b54fdd0d00e23d9 (patch) | |
tree | 9e40de4a94bf84e55c799de83dc6e90ce91e7e9b /gcc/profile.c | |
parent | 6a8873a7545da7e6c725727f717c444213962423 (diff) | |
download | gcc-ececa172241797d42e5f98652b54fdd0d00e23d9.tar.gz |
profile.c (instrument_edges): Make sure any newly created jump insns have correct jump label info.
* profile.c (instrument_edges): Make sure any newly created
jump insns have correct jump label info.
From-SVN: r65056
Diffstat (limited to 'gcc/profile.c')
-rw-r--r-- | gcc/profile.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/profile.c b/gcc/profile.c index 261bfd0d007..6631b5e92f6 100644 --- a/gcc/profile.c +++ b/gcc/profile.c @@ -202,6 +202,7 @@ instrument_edges (el) insert_insn_on_edge ( gen_edge_profiler (total_num_edges_instrumented + num_instr_edges++), e); + rebuild_jump_labels (e->insns); } e = e->succ_next; } |