------- Comment #2 from regehr at cs dot utah dot edu 2009-02-20 03:32 ------- Created an attachment (id=17334) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17334&action=view) failure-inducing C program
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39232
