diff options
author | Bin Cheng <bin.cheng@arm.com> | 2017-08-01 09:28:18 +0000 |
---|---|---|
committer | Bin Cheng <amker@gcc.gnu.org> | 2017-08-01 09:28:18 +0000 |
commit | 5e19d4371e4e2c7e8251f9f560abe4c43208e63a (patch) | |
tree | 2c36746342cba0e2f34acd02755cf06afc325d81 /gcc/match.pd | |
parent | 7061cfc027e29b6d276ef5e09835c93899cfd132 (diff) | |
download | gcc-5e19d4371e4e2c7e8251f9f560abe4c43208e63a.zip gcc-5e19d4371e4e2c7e8251f9f560abe4c43208e63a.tar.gz gcc-5e19d4371e4e2c7e8251f9f560abe4c43208e63a.tar.bz2 |
tree.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Delete.
* tree.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Delete.
* fold-const.c (fold_comparison, fold_binary_loc): Delete use of
above macro.
* match.pd: Ditto in address comparison pattern.
gcc/testsuite
* gcc.dg/no-strict-overflow-7.c: Revise comment and test string.
* gcc.dg/tree-ssa/pr81388-1.c: Ditto.
From-SVN: r250765
Diffstat (limited to 'gcc/match.pd')
-rw-r--r-- | gcc/match.pd | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 1cabcfc..e98db52 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -3223,14 +3223,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) || TREE_CODE (base1) == STRING_CST)) equal = (base0 == base1); } - (if (equal == 1 - && (cmp == EQ_EXPR || cmp == NE_EXPR - /* If the offsets are equal we can ignore overflow. */ - || off0 == off1 - || POINTER_TYPE_OVERFLOW_UNDEFINED - /* Or if we compare using pointers to decls or strings. */ - || (POINTER_TYPE_P (TREE_TYPE (@2)) - && (DECL_P (base0) || TREE_CODE (base0) == STRING_CST)))) + (if (equal == 1) (switch (if (cmp == EQ_EXPR) { constant_boolean_node (off0 == off1, type); }) |