diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2017-11-22 17:44:46 +0100 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2017-11-22 16:44:46 +0000 |
| commit | e54675bbabc2ed8100b7055008818b391cbbabbb (patch) | |
| tree | 1cdd03c02cad8253ed2031494bfcbe9d9cb2070d /gcc | |
| parent | 29a3136e6d0be33b962675abe4e13a5d4e58a126 (diff) | |
| download | gcc-e54675bbabc2ed8100b7055008818b391cbbabbb.zip gcc-e54675bbabc2ed8100b7055008818b391cbbabbb.tar.gz gcc-e54675bbabc2ed8100b7055008818b391cbbabbb.tar.bz2 | |
Avoid two_valued_val_range_p for pointers.
2017-11-22 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/83104
gcc/
* vr-values.c (simplify_stmt_using_ranges): Check integral argument,
not result.
gcc/testsuite/
* gcc.c-torture/compile/pr83104.c: New file.
From-SVN: r255068
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr83104.c | 5 | ||||
| -rw-r--r-- | gcc/vr-values.c | 2 |
4 files changed, 17 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4b248cd..f800120 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-11-22 Marc Glisse <marc.glisse@inria.fr> + + PR tree-optimization/83104 + * vr-values.c (simplify_stmt_using_ranges): Check integral argument, + not result. + 2017-11-22 Marek Polacek <polacek@redhat.com> H.J. Lu <hongjiu.lu@intel.com> Jason Merrill <jason@redhat.com> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7dbdc24..737424b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-11-22 Marc Glisse <marc.glisse@inria.fr> + + PR tree-optimization/83104 + * gcc.c-torture/compile/pr83104.c: New file. + 2017-11-22 Christophe Lyon <christophe.lyon@linaro.org> * gcc.target/arm/pr56184.C: Add -Wno-return-type to dg-options. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr83104.c b/gcc/testsuite/gcc.c-torture/compile/pr83104.c new file mode 100644 index 0000000..40dc3d4 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr83104.c @@ -0,0 +1,5 @@ +int *a; +int foo() { + if (a && a - (int *)0 > 0) + return 0; +} diff --git a/gcc/vr-values.c b/gcc/vr-values.c index 7b9c5ad..0150f59 100644 --- a/gcc/vr-values.c +++ b/gcc/vr-values.c @@ -4091,7 +4091,7 @@ vr_values::simplify_stmt_using_ranges (gimple_stmt_iterator *gsi) LHS = VAR == VAL1 ? (VAL1 BINOP CST) : (VAL2 BINOP CST) */ if (TREE_CODE_CLASS (rhs_code) == tcc_binary - && INTEGRAL_TYPE_P (TREE_TYPE (lhs)) + && INTEGRAL_TYPE_P (TREE_TYPE (rhs1)) && ((TREE_CODE (rhs1) == INTEGER_CST && TREE_CODE (rhs2) == SSA_NAME) || (TREE_CODE (rhs2) == INTEGER_CST |