------- Comment #5 from pinskia at gcc dot gnu dot org 2010-06-29 22:09 ------- (gdb) p debug_bb_n(6) ;; basic block 6, loop depth 0, count 0 ;; prev block 5, next block 7 ;; pred: 5 [100.0%] (fallthru,exec) ;; succ: 9 (eh,exec) 7 [100.0%] (fallthru,exec) <bb 6>: D.1986_12 = D.1986_7; x_10 = D.1986_7 + x_9(D); D.1989_14 = x_10 + -5;
Yep, the assignment to x_10 can trap which means it can throw an exception which reassociation needs to be corrected/turned off for non call exceptions with trapv turned on. -- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44545