diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-05-16 13:11:01 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-05-16 13:11:01 +0000 |
| commit | a952cc068c5df10333be537e9283e1aebc24c55d (patch) | |
| tree | f79d149e202c7c3356f9c21e62c050abce827f2b | |
| parent | 219d42f11a5f65265b8dda0ab4cb354746c3f456 (diff) | |
| download | gcc-a952cc068c5df10333be537e9283e1aebc24c55d.zip gcc-a952cc068c5df10333be537e9283e1aebc24c55d.tar.gz gcc-a952cc068c5df10333be537e9283e1aebc24c55d.tar.bz2 | |
re PR tree-optimization/53364 (Wrong code generation)
2012-05-16 Richard Guenther <rguenther@suse.de>
PR tree-optimization/53364
* tree-ssa-alias.c (indirect_ref_may_alias_decl_p): Properly
detect a view-conversion of the decl.
* g++.dg/torture/pr53364.C: New testcase.
From-SVN: r187590
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr53364.C | 37 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.c | 3 |
4 files changed, 49 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9a0d816..a7d0b3e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-05-16 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/53364 + * tree-ssa-alias.c (indirect_ref_may_alias_decl_p): Properly + detect a view-conversion of the decl. + 2012-05-16 Dodji Seketeli <dodji@redhat.com> PR preprocessor/7263 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d1efffc..299ece5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-05-16 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/53364 + * g++.dg/torture/pr53364.C: New testcase. + 2012-05-16 Georg-Johann Lay <avr@gjlay.de> PR testsuite/52641 diff --git a/gcc/testsuite/g++.dg/torture/pr53364.C b/gcc/testsuite/g++.dg/torture/pr53364.C new file mode 100644 index 0000000..36bb083 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr53364.C @@ -0,0 +1,37 @@ +// { dg-do run } + +extern "C" void abort (void); + +template<typename _Tp> +inline const _Tp& +min(const _Tp& __a, const _Tp& __b) +{ + if (__b < __a) + return __b; + return __a; +} + +struct A +{ + int m_x; + + explicit A(int x) : m_x(x) {} + operator int() const { return m_x; } +}; + +struct B : public A +{ +public: + explicit B(int x) : A(x) {} +}; + +int data = 1; + +int main() +{ + B b = B(10); + b = min(b, B(data)); + if (b != 1) + abort (); + return 0; +} diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index ec1bbbe..540850f 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -850,8 +850,7 @@ indirect_ref_may_alias_decl_p (tree ref1 ATTRIBUTE_UNUSED, tree base1, /* If either reference is view-converted, give up now. */ if (same_type_for_tbaa (TREE_TYPE (base1), TREE_TYPE (ptrtype1)) != 1 - || same_type_for_tbaa (TREE_TYPE (dbase2), - TREE_TYPE (reference_alias_ptr_type (dbase2))) != 1) + || same_type_for_tbaa (TREE_TYPE (dbase2), TREE_TYPE (base2)) != 1) return true; /* If both references are through the same type, they do not alias |