diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-05-21 17:17:31 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-05-21 17:17:31 +0200 |
| commit | a4ce12589d1442367da66cc16658fdeef2c0420f (patch) | |
| tree | d47ff968d7466a7eaeb156f5bd570935376bfd20 /gcc | |
| parent | f3e4f44cb2d0964726a3f07601dcc6bded23e37c (diff) | |
| download | gcc-a4ce12589d1442367da66cc16658fdeef2c0420f.zip gcc-a4ce12589d1442367da66cc16658fdeef2c0420f.tar.gz gcc-a4ce12589d1442367da66cc16658fdeef2c0420f.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr57331.c | 11 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
4 files changed, 25 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ffd389e..0199bd5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2013-05-21 Jakub Jelinek <jakub@redhat.com> + + 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 <mjambor@suse.cz> PR lto/57289 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1ba9007..77b02f5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-05-21 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/57331 + * gcc.c-torture/compile/pr57331.c: New test. + 2013-05-21 Richard Biener <rguenther@suse.de> 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 0000000..b30e1ad --- /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 b5de683..66c50ca 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); |