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