gcc/testsuite/gcc.dg/tree-ssa/alias-15.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fno-early-inlining -fdump-tree-salias-vops-details" } */
   3
   4 struct foo {
   5   int a;
   6   struct X {
   7     int b[4];
   8   } b;
   9 } m;
  10 static inline struct X *wrap(struct X *p) { return p; }
  11 int test2(void)
  12 {
  13   struct X *p = wrap(&m.b);
  14   /* Both memory references need to alias the same SFT.  */
  15   return p->b[3] - m.b.b[3];
  16 }
  17
  18 /* { dg-final { scan-tree-dump "SFT.1 created for var m offset 128" "salias" } } */
  19 /* { dg-final { scan-tree-dump-times "VUSE <SFT.1_" 2 "salias" } } */
  20 /* { dg-final { cleanup-tree-dump "salias" } } */