http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55500
--- Comment #4 from Matt Hargett <matt at use dot net> --- Phillip, the problem is not that the program doesn't run properly. It's that the code isn't inline via de-virtualization when it could be. The main() should contain a few printf/puts calls and nothing more.