------- Comment #1 from regehr at cs dot utah dot edu 2009-02-18 16:41 ------- Created an attachment (id=17326) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17326&action=view) failure-inducing C program
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39232
