http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56881
--- Comment #3 from Mikael Pettersson <mikpe at it dot uu.se> 2013-04-09 14:45:33 UTC --- The test case is incomplete, as it lacks both main() and domalloc(). Please add those (in a separate file if you like) so that the test case can be compiled to an executable, and the presence or absence of a runtime failure can be observed.