http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57194
gp at iws dot it changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |gp at iws dot it --- Comment #2 from gp at iws dot it 2013-05-09 07:41:53 UTC --- IMHO, this is nevertheless a bug. If the debug info must stay, they should be unstrippable. Moreover, gcc should add the -g flag "silently".