1/* { dg-do compile } */
2/* { dg-options "-O1 -fdump-tree-alias1-vops" } */
3/* Test to make sure that inline-asm causes a V_MAY_DEF. */
4
5
6void link_error();
7void 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 V_MAY_DEF for the inline-asm and one for the link_error.  */
17/* { dg-final { scan-tree-dump-times "V_MAY_DEF" 2 "alias1"} } */
18/* { dg-final { cleanup-tree-dump "alias1" } } */
19