http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54901
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-10-21
11:54:47 UTC ---
Fixed by revision 192413:
Author: hubicka
Date: Fri Oct 12 20:36:09 2012 UTC (8 days, 15 hours ago)
Changed paths: 4
Log Message:
* web.c (web_main): Do not set DF_RD_PRUNE_DEAD_DEFS flag.
> Probably a dup of the discussion going on here:
> http://gcc.gnu.org/ml/gcc-patches/2012-10/msg01414.html
So this looks true. Closing.
