------- Comment #1 from jakub at gcc dot gnu dot org 2009-09-03 09:24 ------- sched-deps.c uses may_trap_p only to find out what insns can't be speculated, possibly trapping MEMs are handled by deps_may_trap_p. I wonder what exactly we want to forbid to cure this testcase. Just DIV/MOD/UDIV/UMOD that may_trap_p being moved across a function call that might not return (all CALL_Ps or all except a few known builtins? Say memcpy or strcpy could be said to always return), or all may_trap_p insns across all calls that might not return, or even across all such calls and all trapping insns? Ideas?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41239
