blob: 4d57ca8f8f0fdbe138172cb2574e62d005d43e4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-optimized" } */
union X {
int i;
void *p;
};
void bar (int);
int * __attribute__((noinline,noclone))
baz (int *p) { return p; }
void foo (union X *x)
{
struct Y { int i; } ystruct = {};
ystruct.i = * baz (&ystruct.i);
bar (x->i);
}
/* DSE and then DCE should be able to remove all uses of ystruct.
Formerly the union access for the parameter to bar let 'anything'
escape which made the call to bar possibly use ystruct and thus
prevent the store to ystruct.i from being eliminated. The call to
baz makes sure that ystruct has its address taken. */
/* { dg-final { scan-tree-dump-not "ystruct" "optimized" } } */
/* { dg-final { cleanup-tree-dump "optimized" } } */
|
