From a9b4b38edf5847dc42a32af32f46deccf1955e5b Mon Sep 17 00:00:00 2001 From: kazu Date: Sun, 17 Apr 2005 14:58:20 +0000 Subject: [PATCH] * tree-vrp.c (compare_values): Check that VAL1 and VAL2 are both pointers or both integers. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98273 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/tree-vrp.c | 21 +++++++-------------- 2 files changed, 12 insertions(+), 14 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 94dc52b..8cf5ee3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-04-17 Kazu Hirata + + * tree-vrp.c (compare_values): Check that VAL1 and VAL2 are + both pointers or both integers. + 2005-04-17 Richard Sandiford * config/mips/iris6.h (DRIVER_SELF_SPECS): Check -march as well as diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index c1f910e..3bb4a6b 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -286,14 +286,13 @@ compare_values (tree val1, tree val2) if (val1 == val2) return 0; + /* Below we rely on the fact that VAL1 and VAL2 are both pointers or + both integers. */ + gcc_assert (POINTER_TYPE_P (TREE_TYPE (val1)) + == POINTER_TYPE_P (TREE_TYPE (val2))); + /* Do some limited symbolic comparisons. */ - /* FIXME: The second check of POINTER_TYPE_P should not be necessary - because we should be comparing values of the same type here, but - for whatever reason, the front end throws us a type mismatched - comparison. For now, work around the problem by checking both - types. See PR 21021 and PR 21024. */ - if (!POINTER_TYPE_P (TREE_TYPE (val1)) - && !POINTER_TYPE_P (TREE_TYPE (val2))) + if (!POINTER_TYPE_P (TREE_TYPE (val1))) { /* We can determine some comparisons against +INF and -INF even if the other value is an expression. */ @@ -406,13 +405,7 @@ compare_values (tree val1, tree val2) if (!is_gimple_min_invariant (val1) || !is_gimple_min_invariant (val2)) return -2; - /* FIXME: The second check of POINTER_TYPE_P should not be necessary - because we should be comparing values of the same type here, but - for whatever reason, the front end throws us a type mismatched - comparison. For now, work around the problem by checking both - types. See PR 21021 and PR 21024. */ - if (!POINTER_TYPE_P (TREE_TYPE (val1)) - && !POINTER_TYPE_P (TREE_TYPE (val2))) + if (!POINTER_TYPE_P (TREE_TYPE (val1))) return tree_int_cst_compare (val1, val2); else { -- 2.7.4