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