1 /* This tests aligment propagation to structure elem and
2    abcense of redundant & 7.  */
3 
4 /* { dg-options "-fdump-tree-sanopt" } */
5 /* { dg-do compile } */
6 /* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
7 
8 struct st {
9   int a;
10   int b;
11   int c;
12 } __attribute__((aligned(16)));
13 
foo(struct st * s_p)14 int foo (struct st * s_p)
15 {
16   return s_p->a;
17 }
18 
19 /* { dg-final { scan-tree-dump-times "& 7" 0 "sanopt" } } */
20