28 lines
596 B
C
28 lines
596 B
C
/* { 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. */
|
|
|
|
extern void abort (void);
|
|
|
|
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;
|
|
}
|