/* { dg-do compile } */ 
/* { dg-options "-O2 -fdump-tree-fre1" } */
int *p;
int main(int argc, char **argv)
{
  int result;
  *p = 2;
  if (argc)
    *p = 2;
  result = *p;
  return result;
}
/* We should eliminate result = *p by saying it has the value 2.  */
/* { dg-final { scan-tree-dump "return 2;" "fre1"} } */