gcc/testsuite/gcc.c-torture/execute/20021113-1.c

   1 /* This program tests a data flow bug that would cause constant propagation
   2    to propagate constants through function calls.  */
   3
   4 foo (int *p)
   5 {
   6   *p = 10;
   7 }
   8
   9 main()
  10 {
  11   int *ptr = alloca (sizeof (int));
  12   *ptr = 5;
  13   foo (ptr);
  14   if (*ptr == 5)
  15     abort ();
  16   exit (0);
  17 }