1 /* This program tests a data flow bug that would cause constant propagation
2    to propagate constants through function calls.  */
3 
foo(int * p)4 foo (int *p)
5 {
6   *p = 10;
7 }
8 
main()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 }
18