diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-05-08 08:19:16 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-05-08 08:19:16 +0000 |
| commit | b13e7b6cfc7ecbdd98cbff22e1b1a394c1f50dbc (patch) | |
| tree | bdfeda8250b35bf9a3fac155385beaae4b0c72f1 /gcc | |
| parent | 81464b2cd8f8153d1314a628fdc3dbdbb27a9c02 (diff) | |
| download | gcc-b13e7b6cfc7ecbdd98cbff22e1b1a394c1f50dbc.zip gcc-b13e7b6cfc7ecbdd98cbff22e1b1a394c1f50dbc.tar.gz gcc-b13e7b6cfc7ecbdd98cbff22e1b1a394c1f50dbc.tar.bz2 | |
re PR middle-end/36172 (ice for legal code with -O3)
2008-05-08 Richard Guenther <rguenther@suse.de>
PR middle-end/36172
* fold-const.c (operand_equal_p): Two objects which types
differ in pointerness are not equal.
* gcc.c-torture/compile/pr36172.c: New testcase.
From-SVN: r135070
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr36172.c | 17 |
4 files changed, 33 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 681dbb4..bdc4846 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-05-08 Richard Guenther <rguenther@suse.de> + + PR middle-end/36172 + * fold-const.c (operand_equal_p): Two objects which types + differ in pointerness are not equal. + 2008-05-08 Kai Tietz <kai,tietz@onevision.com> * calls.c (compute_argument_block_size): Add argument tree fndecl. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index db7be87..1250d26 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -3033,8 +3033,11 @@ operand_equal_p (const_tree arg0, const_tree arg1, unsigned int flags) /* If both types don't have the same signedness, then we can't consider them equal. We must check this before the STRIP_NOPS calls - because they may change the signedness of the arguments. */ - if (TYPE_UNSIGNED (TREE_TYPE (arg0)) != TYPE_UNSIGNED (TREE_TYPE (arg1))) + because they may change the signedness of the arguments. As pointers + strictly don't have a signedness, require either two pointers or + two non-pointers as well. */ + if (TYPE_UNSIGNED (TREE_TYPE (arg0)) != TYPE_UNSIGNED (TREE_TYPE (arg1)) + || POINTER_TYPE_P (TREE_TYPE (arg0)) != POINTER_TYPE_P (TREE_TYPE (arg1))) return 0; /* If both types don't have the same precision, then it is not safe diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 35eec51..68626fd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-05-08 Richard Guenther <rguenther@suse.de> + + PR middle-end/36172 + * gcc.c-torture/compile/pr36172.c: New testcase. + 2008-05-08 Uros Bizjak <ubizjak@gmail.com> PR target/35714 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr36172.c b/gcc/testsuite/gcc.c-torture/compile/pr36172.c new file mode 100644 index 0000000..19f0950 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr36172.c @@ -0,0 +1,17 @@ +int f(float * ); +unsigned long FcCharSetFreeze (int *fcs, int b) +{ + int i; + int a = 0; + for (i = 0; i < *fcs; i++) + { + float *leaf = (float *)fcs; + int hash = f (leaf); + if (hash) + a = b; + if (!a) + return; + } + return (unsigned long) fcs; +} + |