http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57073
--- Comment #8 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-05-02
22:00:53 UTC ---
For completeness, gimplify_ctxp->into_ssa is 0 for the -O0 optimization and it
gets set to 1 in gimple_regimplify_operands. Thus, it is not surprising that it
works with the -O0 example ("(-1.0)**k") but not with the -O1 example
("a=-1;a**k").
If one ignores the assert, one runs into: control flow within basic block 2.
