Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/20040319-1.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { 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 (); } int main () { struct bar x; x.arr = &x.count; foo (&x); return 0; }