1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-alias-vops" } */
3 /* Test to make sure that inline-asm causes a VDEF. */
4 
5 
6 void link_error();
f(char * a)7 void f(char *a)
8 {
9   int *a1 = (int *)a;
10   if (*a == 0)
11    asm("":"=m"(*a1));
12   if (*a == 0)
13    link_error ();
14 }
15 
16 /* There should a VDEF for the inline-asm and one for the link_error.  */
17 /* { dg-final { scan-tree-dump-times "VDEF" 2 "alias"} } */
18