re PR middle-end/32304 (ICE in set_mem_attributes_minus_bitpos)

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/32304
        * g++.dg/torture/pr32304.C: New testcase.

From-SVN: r127191

gcc/ChangeLog

 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.

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)))

gcc/testsuite/ChangeLog

 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.
 

gcc/testsuite/g++.dg/torture/pr32304.C

+// { dg-do compile }
+
+struct S {
+        S() {}
+};
+S f() {
+        static S s;
+        return s;
+}