------- Comment #2 from rguenth at gcc dot gnu dot org 2009-09-03 10:31 ------- We can never move maybe trapping instructions across a function call that might not return (and as we don't have an attribute for returns_always we have to assume that a function may not return always apart from maybe some known builtins).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41239
