diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2009-03-03 12:29:51 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2009-03-03 12:29:51 +0100 |
| commit | f07049c8f1741e8a56f8e6dc3702216a652a532d (patch) | |
| tree | 72080893386c672511d6291de515bd51b739d6f2 /gcc | |
| parent | fc0ffad7cba0735ea2b159aaf00521b9c8da2319 (diff) | |
| download | gcc-f07049c8f1741e8a56f8e6dc3702216a652a532d.zip gcc-f07049c8f1741e8a56f8e6dc3702216a652a532d.tar.gz gcc-f07049c8f1741e8a56f8e6dc3702216a652a532d.tar.bz2 | |
re PR tree-optimization/39343 (Wrong result for __builtin_object_size (x, 1))
PR tree-optimization/39343
* tree-ssa-ccp.c (maybe_fold_offset_to_address): Don't check if
COMPONENT_REF t has ARRAY_TYPE.
* gcc.dg/pr39343.c: New test.
From-SVN: r144571
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr39343.c | 29 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 3 |
4 files changed, 41 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 998ef44..72da01f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2009-03-03 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/39343 + * tree-ssa-ccp.c (maybe_fold_offset_to_address): Don't check if + COMPONENT_REF t has ARRAY_TYPE. + 2009-03-02 Sebastian Pop <sebastian.pop@amd.com> PR middle-end/39335 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5d5b967..3bb4d97 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-03-03 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/39343 + * gcc.dg/pr39343.c: New test. + 2009-03-03 Ira Rosen <irar@il.ibm.com> PR tree-optimization/39248 diff --git a/gcc/testsuite/gcc.dg/pr39343.c b/gcc/testsuite/gcc.dg/pr39343.c new file mode 100644 index 0000000..70df59e --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr39343.c @@ -0,0 +1,29 @@ +/* PR tree-optimization/39343 */ +/* { dg-do run } */ +/* { dg-options "-O2" } */ + +extern void abort (void); + +extern inline __attribute__ ((__always_inline__)) int +foo (char *dest) +{ + return __builtin_object_size (dest, 1); +} + +struct S +{ + union + { + struct { int a, b; char c, d; } f; + struct { struct { int a, b; char c, d[255]; } e; } g; + } u; +}; + +int +main (void) +{ + struct S s; + if (foo (s.u.g.e.d) != 255) + abort (); + return 0; +} diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index d602726..5080cc3 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -1942,8 +1942,7 @@ maybe_fold_offset_to_address (tree addr, tree offset, tree orig_type) || (TREE_CODE (orig) == COMPONENT_REF && TREE_CODE (TREE_TYPE (TREE_OPERAND (orig, 1))) == ARRAY_TYPE)) && (TREE_CODE (t) == ARRAY_REF - || (TREE_CODE (t) == COMPONENT_REF - && TREE_CODE (TREE_TYPE (TREE_OPERAND (t, 1))) == ARRAY_TYPE)) + || TREE_CODE (t) == COMPONENT_REF) && !operand_equal_p (TREE_CODE (orig) == ARRAY_REF ? TREE_OPERAND (orig, 0) : orig, TREE_CODE (t) == ARRAY_REF |