------- Comment #1 from regehr at cs dot utah dot edu 2010-07-05 14:40 ------- Created an attachment (id=21092) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21092&action=view) failure-inducing C
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44823
