http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54789
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-08 20:13:17 UTC --- Author: jakub Date: Thu Nov 8 20:13:13 2012 New Revision: 193337 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193337 Log: PR driver/54789 * gcc.c (process_command): Use save_switch for synthesized -fcompare-debug=* option; mark the switch as known. Modified: trunk/gcc/ChangeLog trunk/gcc/gcc.c