------- Comment #10 from bonzini at gnu dot org  2009-01-31 14:38 -------
> IMHO we should either enable flag_profile_correction by default or
> remove this error again.

Agreed.


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bonzini at gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38977

Reply via email to