diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/genmatch.c | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b7d0d8e..96ae59a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-02-17 Richard Biener <rguenther@suse.de> + + PR bootstrap/79567 + * genmatch.c (output_line_directive): Handle DIR_SEPARATOR_2. + 2017-02-17 Marek Polacek <polacek@redhat.com> PR middle-end/79536 diff --git a/gcc/genmatch.c b/gcc/genmatch.c index c163ded..fdf5aaf 100644 --- a/gcc/genmatch.c +++ b/gcc/genmatch.c @@ -192,6 +192,11 @@ output_line_directive (FILE *f, source_location location, { /* When writing to a dumpfile only dump the filename. */ const char *file = strrchr (loc.file, DIR_SEPARATOR); +#if defined(DIR_SEPARATOR_2) + const char *pos2 = strrchr (loc.file, DIR_SEPARATOR_2); + if (pos2 && (!file || (pos2 > file))) + file = pos2; +#endif if (!file) file = loc.file; else |