diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ipa-reference.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr32304.C | 9 |
4 files changed, 24 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 21f9c3a..eeb4a51 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2007-08-03 Andrew Pinski <andrew_pinski@playstation.sony.com> + PR middle-end/32304 + * ipa-reference.c (has_proper_scope_for_analysis): Return false when + the decl's type has TYPE_NEEDS_CONSTRUCTING set. + +2007-08-03 Andrew Pinski <andrew_pinski@playstation.sony.com> + PR middle-end/32935 * fold-convert.c (fold_negate_expr <NOP_EXPR>): Convert back to the correct type the negate expression. diff --git a/gcc/ipa-reference.c b/gcc/ipa-reference.c index 5e1a6eb..1a962c5 100644 --- a/gcc/ipa-reference.c +++ b/gcc/ipa-reference.c @@ -267,6 +267,10 @@ has_proper_scope_for_analysis (tree t) if (DECL_EXTERNAL (t) || TREE_PUBLIC (t)) return false; + /* We cannot touch decls where the type needs constructing. */ + if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (t))) + return false; + /* This is a variable we care about. Check if we have seen it before, and if not add it the set of variables we care about. */ if (!bitmap_bit_p (all_module_statics, DECL_UID (t))) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7ba9afc..ce38fc7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2007-08-03 Andrew Pinski <andrew_pinski@playstation.sony.com> + PR middle-end/32304 + * g++.dg/torture/pr32304.C: New testcase. + +2007-08-03 Andrew Pinski <andrew_pinski@playstation.sony.com> + PR middle-end/32935 * gfortran.fortran-torture/compile/complex_1.f90: New test. diff --git a/gcc/testsuite/g++.dg/torture/pr32304.C b/gcc/testsuite/g++.dg/torture/pr32304.C new file mode 100644 index 0000000..236d00b --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr32304.C @@ -0,0 +1,9 @@ +// { dg-do compile } + +struct S { + S() {} +}; +S f() { + static S s; + return s; +} |