http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48197
--- Comment #4 from John Regehr <regehr at cs dot utah.edu> 2011-03-18 20:12:31 UTC --- Thanks Jakub, I was just about to send the same example!
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48197
--- Comment #4 from John Regehr <regehr at cs dot utah.edu> 2011-03-18 20:12:31 UTC --- Thanks Jakub, I was just about to send the same example!