diff options
Diffstat (limited to 'gcc/final.c')
-rw-r--r-- | gcc/final.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/final.c b/gcc/final.c index 65ebaa0..c7b4a5c 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -1520,8 +1520,13 @@ final (rtx first, FILE *file, int optimize, int prescan) if (GET_CODE (insn) == NOTE && NOTE_LINE_NUMBER (insn) > 0) { if (last != 0 +#ifdef USE_MAPPED_LOCATION + && NOTE_SOURCE_LOCATION (insn) == NOTE_SOURCE_LOCATION (last) +#else && NOTE_LINE_NUMBER (insn) == NOTE_LINE_NUMBER (last) - && NOTE_SOURCE_FILE (insn) == NOTE_SOURCE_FILE (last)) + && NOTE_SOURCE_FILE (insn) == NOTE_SOURCE_FILE (last) +#endif) + ) { delete_insn (insn); /* Use delete_note. */ continue; |