[Bug tree-optimization/53922] [4.6/4.7/4.8 Regression] VRP: semantic conflict between range_includes_zero_p and value_inside_range

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|rguenth at gcc dot gnu.org  |
      Known to work|                            |4.0.4
   Target Milestone|---                         |4.6.4
            Summary|VRP: semantic conflict      |[4.6/4.7/4.8 Regression]
                   |between                     |VRP: semantic conflict
                   |range_includes_zero_p and   |between
                   |value_inside_range          |range_includes_zero_p and
                   |                            |value_inside_range
      Known to fail|                            |4.1.2

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-07-13 
09:56:04 UTC ---
Testing the patch.  Fails since we introduced VRP.