http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48653
--- Comment #2 from jafb at tinet dot org 2011-04-18 08:29:32 UTC --- Sorry. I thought the default was -g -O2 and omitting -g in BOOT_CFLAGS is even documented, but I won't file any other bugs for these reasons...
