blob: 571c2aeabad50d50a6874ced8d766902c97f1e08 (
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
|
/* { dg-do run } */
/* { dg-options "-O2" } */
/* Test derived from PR 14643. When a function has no addressable
variables but 2 or more pointers have conflicting memory tags, they
were not being processed by the type based alias analyzer,
resulting in optimizations removing a non-redundant load. */
struct bar { int count; int *arr;};
void foo (struct bar *b)
{
b->count = 0;
*(b->arr) = 2;
if (b->count == 0) /* b->count can't be assumed to be 0 here. */
abort ();
}
main ()
{
struct bar x;
x.arr = &x.count;
foo (&x);
return 0;
}
|
