------- Comment #1 from regehr at cs dot utah dot edu 2010-03-05 18:08 ------- Created an attachment (id=20029) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20029&action=view) failure-inducing input
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43269
