[Bug tree-optimization/15558] [tree-ssa] A missed forward propagation opportunity involving floats

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15558

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.0
      Known to fail|                            |4.6.1

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-09-08 07:59:00 UTC ---
Fixed for 4.7.  comment #2 with

2011-03-21  Richard Guenther  <rguenther@suse.de>

        PR middle-end/47661
        * gimple.c (is_gimple_condexpr): Use tree_could_throw_p.

and the original testcase and comment #3 with

2011-09-07  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond):
        Canonicalize negated predicates by swapping edges.
        (forward_propagate_into_cond): Likewise.