[Bug tree-optimization/53922] [4.6/4.7 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

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-09-07 13:04:42 UTC ---
Author: rguenth
Date: Fri Sep  7 13:04:38 2012
New Revision: 191072

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191072
Log:
2012-09-07  Richard Guenther  <rguenther@suse.de>

    Backport from mainline
    2012-07-13  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53922
    * tree-vrp.c (value_inside_range): Change prototype to take
    min/max instead of value-range.
    (range_includes_zero_p): Likewise.  Return the result from
    value_inside_range.
    (extract_range_from_binary_expr_1): Adjust to handle dont-know
    return value from range_includes_zero_p.
    (extract_range_from_unary_expr_1): Likewise.
    (compare_range_with_value): Likewise.
    (vrp_meet_1): Likewise.

    * gcc.dg/torture/pr53922.c: New testcase.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr53922.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-vrp.c