------- Comment #13 from dann at godzilla dot ics dot uci dot edu 2005-10-31 04:50 ------- (In reply to comment #12) > A more interesting test would be to see the Linux kernel size difference,
There's such a comparison now in comment #8 in PR23153. It confirms the size increase. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23524
