llvm-gcc-4.2/gcc/testsuite/gcc.dg/tree-ssa/alias-1.c

/* { dg-options "-O2 -fargument-noalias-global -fdump-tree-optimized" } */
/* LLVM LOCAL test not applicable */
/* { dg-require-fdump "" } */
int f;
void link_error ();

void g(int *i)
{
  *i = 0;
  f = 1;
  if (*i != 0)
    link_error ();
}


/* We should have removed the link_error on the tree level as we told GCC
   that *i cannot point to f via the option -fargument-noalias-global. */
/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */
/* { dg-final { cleanup-tree-dump "optimized" } } */