+2011-02-01 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/47541
+ * tree-ssa-structalias.c (push_fields_onto_fieldstack): Make
+ sure to have a field at offset zero.
+
2011-01-31 Joseph Myers <joseph@codesourcery.com>
* config/arc/arc.opt (EB, EL): New Driver options.
+2011-02-01 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/47541
+ * g++.dg/torture/pr47541.C: New testcase.
+
2011-01-31 Janus Weil <janus@gcc.gnu.org>
PR fortran/47455
--- /dev/null
+/* { dg-do run } */
+
+struct Dummy {};
+struct RefCount : public Dummy {
+ ~RefCount(); /* Has to be non-pod. */
+ int *a;
+ int *b;
+};
+RefCount::~RefCount(){}
+struct Wrapper : public Dummy { RefCount ref; };
+void __attribute__((noinline,noclone))
+Push(Wrapper ptr)
+{
+ *ptr.ref.b = 0;
+}
+extern "C" void abort (void);
+int main()
+{
+ int a = 1, b = 1;
+ Wrapper x;
+ x.ref.a = &a;
+ x.ref.b = &b;
+ Push(x);
+ if (b != 0)
+ abort ();
+ return 0;
+}
if (!VEC_empty (fieldoff_s, *fieldstack))
pair = VEC_last (fieldoff_s, *fieldstack);
+ /* If there isn't anything at offset zero, create sth. */
+ if (!pair
+ && offset + foff != 0)
+ {
+ pair = VEC_safe_push (fieldoff_s, heap, *fieldstack, NULL);
+ pair->offset = 0;
+ pair->size = offset + foff;
+ pair->has_unknown_size = false;
+ pair->must_have_pointers = false;
+ pair->may_have_pointers = false;
+ pair->only_restrict_pointers = false;
+ }
+
if (!DECL_SIZE (field)
|| !host_integerp (DECL_SIZE (field), 1))
has_unknown_size = true;