http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51251 --- Comment #3 from David S. Miller <davem at davemloft dot net> 2011-11-21 05:06:09 UTC --- BTW, Joel, you might want to check out "-mdebug=options" :-)