------- Comment #3 from jakub at gcc dot gnu dot org 2008-07-29 22:36 ------- --- c-pch.c.jj42008-07-28 16:44:55.000000000 +0200 +++ c-pch.c2008-07-30 00:33:11.000000000 +0200 @@ -367,6 +367,7 @@ c_common_read_pch (cpp_reader *pfile, co struct c_pch_header h; struct save_macro_data *smd; expanded_location saved_loc; + bool saved_trace_includes;
f = fdopen (fd, "rb"); if (f == NULL) @@ -412,6 +413,7 @@ c_common_read_pch (cpp_reader *pfile, co /* Save the location and then restore it after reading the PCH. */ saved_loc = expand_location (line_table->highest_line); + saved_trace_includes = line_table->trace_includes; cpp_prepare_state (pfile, &smd); @@ -425,6 +427,7 @@ c_common_read_pch (cpp_reader *pfile, co fclose (f); + line_table->trace_includes = saved_trace_includes; cpp_set_line_map (pfile, line_table); linemap_add (line_table, LC_RENAME, 0, saved_loc.file, saved_loc.line); seems to work, will test it tomorrow. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36649