gcc/testsuite/gcc.dg/tree-ssa/inline_asm-2.c

   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"} } */
  18 /* { dg-final { cleanup-tree-dump "alias" } } */