From a4ce12589d1442367da66cc16658fdeef2c0420f Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 21 May 2013 17:17:31 +0200 Subject: [PATCH] re PR tree-optimization/57331 (ICE: tree check: expected integer_type or enumeral_type or boolean_type or real_type or fixed_point_type, have pointer_type in int_fits_type_p, at tree.c:8437) PR tree-optimization/57331 * tree-vrp.c (simplify_cond_using_ranges): Don't optimize comparison of conversion from pointer type to integral type with integer. * gcc.c-torture/compile/pr57331.c: New test. From-SVN: r199148 --- gcc/ChangeLog | 7 +++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/compile/pr57331.c | 11 +++++++++++ gcc/tree-vrp.c | 3 ++- 4 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr57331.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ffd389e9479..0199bd5b199 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2013-05-21 Jakub Jelinek + + PR tree-optimization/57331 + * tree-vrp.c (simplify_cond_using_ranges): Don't optimize + comparison of conversion from pointer type to integral type + with integer. + 2013-05-21 Martin Jambor PR lto/57289 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1ba9007ac6c..77b02f5843e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-05-21 Jakub Jelinek + + PR tree-optimization/57331 + * gcc.c-torture/compile/pr57331.c: New test. + 2013-05-21 Richard Biener PR tree-optimization/57330 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr57331.c b/gcc/testsuite/gcc.c-torture/compile/pr57331.c new file mode 100644 index 00000000000..b30e1ad12a5 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr57331.c @@ -0,0 +1,11 @@ +/* PR tree-optimization/57331 */ + +int +foo (int x) +{ + void *p = x ? (void *) 1 : (void *) 0; + __INTPTR_TYPE__ b = (__INTPTR_TYPE__) p; + if (b) + return 0; + return 1; +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index b5de683961f..66c50ca4b31 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -8661,7 +8661,8 @@ simplify_cond_using_ranges (gimple stmt) innerop = gimple_assign_rhs1 (def_stmt); - if (TREE_CODE (innerop) == SSA_NAME) + if (TREE_CODE (innerop) == SSA_NAME + && !POINTER_TYPE_P (TREE_TYPE (innerop))) { value_range_t *vr = get_value_range (innerop); -- 2.30.2