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 | |
parent | 6a8873a7545da7e6c725727f717c444213962423 (diff) | |
download | gcc-ececa172241797d42e5f98652b54fdd0d00e23d9.zip gcc-ececa172241797d42e5f98652b54fdd0d00e23d9.tar.gz gcc-ececa172241797d42e5f98652b54fdd0d00e23d9.tar.bz2 |
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
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/profile.c | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3b02fd1..ea9655a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-03-30 DJ Delorie <dj@redhat.com> + + * profile.c (instrument_edges): Make sure any newly created + jump insns have correct jump label info. + 2003-03-30 Richard Henderson <rth@redhat.com> * cfgbuild.c (make_edges): Use tablejump_p. diff --git a/gcc/profile.c b/gcc/profile.c index 261bfd0..6631b5e 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; } |