http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50800
--- Comment #4 from John Regehr <regehr at cs dot utah.edu> 2011-12-03 07:01:50 UTC --- Created attachment 25977 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25977 smaller test case
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50800
--- Comment #4 from John Regehr <regehr at cs dot utah.edu> 2011-12-03 07:01:50 UTC --- Created attachment 25977 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25977 smaller test case