|
 |
727081 |
2004-05-01 Ulrich Weigand <weigand@de.ibm.com>
|
|
|
727081 |
|
|
|
727081 |
PR middle-end/15054
|
|
|
727081 |
* expr.c (expand_expr_real): Do not call preserve_temp_slots
|
|
|
727081 |
on a TARGET_EXPR temp.
|
|
|
727081 |
* function.c (assign_stack_temp_for_type): Set 'keep' flag for
|
|
|
727081 |
TARGET_EXPR temp slots.
|
|
|
727081 |
|
|
|
727081 |
* g++.dg/opt/pr15054.C: New test.
|
|
|
727081 |
|
|
|
727081 |
2006-04-25 Jakub Jelinek <jakub@redhat.com>
|
|
|
727081 |
|
|
|
727081 |
* g++.dg/opt/pr15054-2.C: New test.
|
|
|
727081 |
|
|
|
727081 |
--- gcc/expr.c.orig 2006-02-24 04:51:46.000000000 -0300
|
|
|
727081 |
+++ gcc/expr.c 2006-04-11 03:53:02.000000000 -0300
|
|
|
727081 |
@@ -8676,8 +8676,6 @@ expand_expr (exp, target, tmode, modifie
|
|
|
727081 |
else
|
|
|
727081 |
{
|
|
|
727081 |
target = assign_temp (type, 2, 0, 1);
|
|
|
727081 |
- /* All temp slots at this level must not conflict. */
|
|
|
727081 |
- preserve_temp_slots (target);
|
|
|
727081 |
SET_DECL_RTL (slot, target);
|
|
|
727081 |
if (TREE_ADDRESSABLE (slot))
|
|
|
727081 |
put_var_into_stack (slot);
|
|
|
727081 |
--- gcc/function.c.orig 2006-02-24 04:51:52.000000000 -0300
|
|
|
727081 |
+++ gcc/function.c 2006-04-11 03:53:02.000000000 -0300
|
|
|
727081 |
@@ -803,7 +803,7 @@ assign_stack_temp_for_type (mode, size,
|
|
|
727081 |
if (keep == 2)
|
|
|
727081 |
{
|
|
|
727081 |
p->level = target_temp_slot_level;
|
|
|
727081 |
- p->keep = 0;
|
|
|
727081 |
+ p->keep = 1;
|
|
|
727081 |
}
|
|
|
727081 |
else if (keep == 3)
|
|
|
727081 |
{
|
|
|
727081 |
--- gcc/testsuite/g++.dg/opt/pr15054.C 1970-01-01 00:00:00.000000000 +0000
|
|
|
727081 |
+++ gcc/testsuite/g++.dg/opt/pr15054.C 2006-04-11 03:54:31.000000000 -0300
|
|
|
727081 |
@@ -0,0 +1,36 @@
|
|
|
727081 |
+// PR middle-end/15054
|
|
|
727081 |
+// This used to abort due to overlapping stack temporaries.
|
|
|
727081 |
+
|
|
|
727081 |
+// { dg-do run }
|
|
|
727081 |
+// { dg-options "-O" }
|
|
|
727081 |
+
|
|
|
727081 |
+extern "C" void abort (void);
|
|
|
727081 |
+
|
|
|
727081 |
+struct pointer
|
|
|
727081 |
+{
|
|
|
727081 |
+ void* ptr;
|
|
|
727081 |
+
|
|
|
727081 |
+ pointer(void* x = 0) : ptr(x) {}
|
|
|
727081 |
+ pointer(const pointer& x) : ptr(x.ptr) {}
|
|
|
727081 |
+};
|
|
|
727081 |
+
|
|
|
727081 |
+struct element
|
|
|
727081 |
+{
|
|
|
727081 |
+ int canary;
|
|
|
727081 |
+
|
|
|
727081 |
+ element() : canary(123) { }
|
|
|
727081 |
+ ~element() { pointer(); if (canary != 123) abort (); }
|
|
|
727081 |
+};
|
|
|
727081 |
+
|
|
|
727081 |
+inline pointer
|
|
|
727081 |
+insert(const element& x)
|
|
|
727081 |
+{
|
|
|
727081 |
+ return pointer(new element(x));
|
|
|
727081 |
+}
|
|
|
727081 |
+
|
|
|
727081 |
+int
|
|
|
727081 |
+main (void)
|
|
|
727081 |
+{
|
|
|
727081 |
+ insert(element());
|
|
|
727081 |
+ return 0;
|
|
|
727081 |
+}
|
|
|
727081 |
--- gcc/testsuite/g++.dg/opt/pr15054-2.C 2006-04-19 19:21:31.748476000 +0200
|
|
|
727081 |
+++ gcc/testsuite/g++.dg/opt/pr15054-2.C 2006-04-25 15:55:07.000000000 +0200
|
|
|
727081 |
@@ -0,0 +1,39 @@
|
|
|
727081 |
+// PR middle-end/15054
|
|
|
727081 |
+
|
|
|
727081 |
+// { dg-do run }
|
|
|
727081 |
+// { dg-options "-O2" }
|
|
|
727081 |
+
|
|
|
727081 |
+extern "C" void abort (void);
|
|
|
727081 |
+
|
|
|
727081 |
+void
|
|
|
727081 |
+__attribute__((noinline))
|
|
|
727081 |
+check (long x, long y)
|
|
|
727081 |
+{
|
|
|
727081 |
+ if (x != y)
|
|
|
727081 |
+ abort ();
|
|
|
727081 |
+}
|
|
|
727081 |
+
|
|
|
727081 |
+struct A
|
|
|
727081 |
+{
|
|
|
727081 |
+ A() : a(2) { check (a, 2); }
|
|
|
727081 |
+ ~A() { check (a, 2); }
|
|
|
727081 |
+private:
|
|
|
727081 |
+ long a;
|
|
|
727081 |
+};
|
|
|
727081 |
+
|
|
|
727081 |
+class B {
|
|
|
727081 |
+ long b;
|
|
|
727081 |
+ B& operator =(const B& );
|
|
|
727081 |
+public:
|
|
|
727081 |
+ B (long p) : b(p) { check (b, 6); }
|
|
|
727081 |
+ B (const B& p) : b(p.b) { check (b, 6); }
|
|
|
727081 |
+ ~B () { check (b, 6); A obj; check (b, 6); }
|
|
|
727081 |
+ B foo() { return B(*this); }
|
|
|
727081 |
+};
|
|
|
727081 |
+
|
|
|
727081 |
+int main ()
|
|
|
727081 |
+{
|
|
|
727081 |
+ B o(6);
|
|
|
727081 |
+ o.foo().foo();
|
|
|
727081 |
+ return 0;
|
|
|
727081 |
+}
|