------- Comment #4 from pinskia at gcc dot gnu dot org 2007-05-22 18:32 ------- It might have to do with stop not being marked as noreturn.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32035
pinskia at gcc dot gnu dot org Tue, 22 May 2007 10:32:41 -0700
------- Comment #4 from pinskia at gcc dot gnu dot org 2007-05-22 18:32 ------- It might have to do with stop not being marked as noreturn.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32035