parent
4a7df25644
commit
c8df72c446
|
@ -1,3 +1,7 @@
|
|||
2019-02-04 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
* g++.dg/torture/alias-1.C: New test.
|
||||
|
||||
2019-02-03 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR c/69661
|
||||
|
|
|
@ -0,0 +1,57 @@
|
|||
// Verify we don't try to allocate the same stack slot for
|
||||
// buf1 and buf2 in qux. While there is a CLOBBER stmt for buf1
|
||||
// from inlined destructor, the buf1 variable doesn't go out of scope
|
||||
// until after the baz call.
|
||||
// { dg-do run }
|
||||
|
||||
#include <new>
|
||||
#include <cstring>
|
||||
#include <cstdlib>
|
||||
|
||||
char *p;
|
||||
struct S { char buf[128]; S () { memset (buf, ' ', 128); }; ~S () {}; };
|
||||
|
||||
__attribute__((noipa)) void
|
||||
foo (char *x)
|
||||
{
|
||||
p = x;
|
||||
}
|
||||
|
||||
__attribute__((noipa)) int
|
||||
bar (S *x)
|
||||
{
|
||||
return x->buf[12];
|
||||
}
|
||||
|
||||
__attribute__((noipa)) void
|
||||
baz (char *x)
|
||||
{
|
||||
S *a = new (p) (S);
|
||||
S *b = new (x) (S);
|
||||
memset (a->buf, '0', 128);
|
||||
memset (b->buf, '1', 128);
|
||||
if (bar (a) != '0' || bar (b) != '1')
|
||||
abort ();
|
||||
b->~S ();
|
||||
a->~S ();
|
||||
}
|
||||
|
||||
__attribute__((noipa)) void
|
||||
qux ()
|
||||
{
|
||||
char buf1[128];
|
||||
foo (buf1);
|
||||
S *p = new (buf1) (S);
|
||||
bar (p);
|
||||
p->~S ();
|
||||
{
|
||||
char buf2[128];
|
||||
baz (buf2);
|
||||
}
|
||||
}
|
||||
|
||||
int
|
||||
main ()
|
||||
{
|
||||
qux ();
|
||||
}
|
Loading…
Reference in New Issue