/* the second assignment assumes failed before */
int
main(void) {
    double x = 1;
    int foo = 0;
    if (foo)
	x = 1;
}