http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59403
--- Comment #2 from Boaz Ben-Zvi ---
(In reply to Richard Biener from comment #1)
> Are you using precompiled headers?
Our project builds some *.gch files for later use; I don't think that the
compilation that failed was using any precompiled he
++
Assignee: unassigned at gcc dot gnu.org
Reporter: boaz at alum dot mit.edu
Our project compiles OK with 4.8.1 ; however switching to 4.8.2 causes g++ to
segfault !! When "-v -save-temps" is added to the command line options, the
compilation
