diff options
author | Bernd Schmidt <bernds@redhat.com> | 2016-03-25 10:15:39 -0600 |
---|---|---|
committer | Jeff Law <law@gcc.gnu.org> | 2016-03-25 10:15:39 -0600 |
commit | 3caf0ca1d3d1c6a65cd2437572992b9bc0a8d067 (patch) | |
tree | 9471bd17deccc2f59b0dbe6408240bdddda296b2 /libcpp | |
parent | 634035b610977ac310cce45fe3b771ac2a3730d7 (diff) | |
download | gcc-3caf0ca1d3d1c6a65cd2437572992b9bc0a8d067.zip gcc-3caf0ca1d3d1c6a65cd2437572992b9bc0a8d067.tar.gz gcc-3caf0ca1d3d1c6a65cd2437572992b9bc0a8d067.tar.bz2 |
re PR preprocessor/69650 (ICE in linemap_line_start, at libcpp/line-map.c:803)
PR lto/69650
* directives.c (do_linemarker): Test for file left but not entered
here.
* line-map.c (linemap_add): Not here.
PR lto/69650
* gcc.dg/pr69650.c: New test.
From-SVN: r234481
Diffstat (limited to 'libcpp')
-rw-r--r-- | libcpp/ChangeLog | 7 | ||||
-rw-r--r-- | libcpp/directives.c | 13 | ||||
-rw-r--r-- | libcpp/line-map.c | 38 |
3 files changed, 29 insertions, 29 deletions
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 2352b7d..49b6e71 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,10 @@ +2016-03-25 Bernd Schmidt <bschmidt@redhat.com> + + PR lto/69650 + * directives.c (do_linemarker): Test for file left but not entered + here. + * line-map.c (linemap_add): Not here. + 2016-03-21 Jakub Jelinek <jakub@redhat.com> PR target/70296 diff --git a/libcpp/directives.c b/libcpp/directives.c index 63f54ef..6aa6bd1 100644 --- a/libcpp/directives.c +++ b/libcpp/directives.c @@ -1046,6 +1046,19 @@ do_linemarker (cpp_reader *pfile) skip_rest_of_line (pfile); + if (reason == LC_LEAVE) + { + const line_map_ordinary *from; + if (MAIN_FILE_P (map) + || (new_file + && (from = INCLUDED_FROM (pfile->line_table, map)) != NULL + && filename_cmp (ORDINARY_MAP_FILE_NAME (from), new_file) != 0)) + { + cpp_warning (pfile, CPP_W_NONE, + "file \"%s\" linemarker ignored due to incorrect nesting", new_file); + return; + } + } /* Compensate for the increment in linemap_add that occurs in _cpp_do_file_change. We're currently at the start of the line *following* the #line directive. A separate source_location for this diff --git a/libcpp/line-map.c b/libcpp/line-map.c index 80d4e6b..2e61895 100644 --- a/libcpp/line-map.c +++ b/libcpp/line-map.c @@ -512,43 +512,23 @@ linemap_add (struct line_maps *set, enum lc_reason reason, "included", this variable points the map in use right before the #include "included", inside the same "includer" file. */ line_map_ordinary *from; - bool error; - if (MAIN_FILE_P (map - 1)) - { - /* So this _should_ mean we are leaving the main file -- - effectively ending the compilation unit. But to_file not - being NULL means the caller thinks we are leaving to - another file. This is an erroneous behaviour but we'll - try to recover from it. Let's pretend we are not leaving - the main file. */ - error = true; - reason = LC_RENAME; - from = map - 1; - } - else - { - /* (MAP - 1) points to the map we are leaving. The - map from which (MAP - 1) got included should be the map - that comes right before MAP in the same file. */ - from = INCLUDED_FROM (set, map - 1); - error = to_file && filename_cmp (ORDINARY_MAP_FILE_NAME (from), - to_file); - } - - /* Depending upon whether we are handling preprocessed input or - not, this can be a user error or an ICE. */ - if (error) - fprintf (stderr, "line-map.c: file \"%s\" left but not entered\n", - to_file); + linemap_assert (!MAIN_FILE_P (map - 1)); + /* (MAP - 1) points to the map we are leaving. The + map from which (MAP - 1) got included should be the map + that comes right before MAP in the same file. */ + from = INCLUDED_FROM (set, map - 1); /* A TO_FILE of NULL is special - we use the natural values. */ - if (error || to_file == NULL) + if (to_file == NULL) { to_file = ORDINARY_MAP_FILE_NAME (from); to_line = SOURCE_LINE (from, from[1].start_location); sysp = ORDINARY_MAP_IN_SYSTEM_HEADER_P (from); } + else + linemap_assert (filename_cmp (ORDINARY_MAP_FILE_NAME (from), + to_file) == 0); } map->sysp = sysp; |