http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55591
Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jvdelisle at gcc dot
| |gnu.org
--- Comment #2 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2012-12-04
15:46:27 UTC ---
I think just the compile time saving during code development justifies this
change and it can always be over-ridden by the user if ever needed.
