http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52881
--- Comment #1 from John Regehr <regehr at cs dot utah.edu> 2012-04-09 16:18:46 UTC --- *** Bug 52913 has been marked as a duplicate of this bug. ***
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52881
--- Comment #1 from John Regehr <regehr at cs dot utah.edu> 2012-04-09 16:18:46 UTC --- *** Bug 52913 has been marked as a duplicate of this bug. ***