1 /* the second assignment assumes failed before */
2 int
3 main(void) {
4     double x = 1;
5     int foo = 0;
6     if (foo)
7 	x = 1;
8 }
9