------- Comment #1 from regehr at cs dot utah dot edu 2008-10-01 23:42 ------- Created an attachment (id=16448) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16448&action=view) failure-inducing input
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37709
