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();
       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"} } */