1272343Sngie/* the second assignment assumes failed before */
2272343Sngieint
3272343Sngiemain(void) {
4272343Sngie    double x = 1;
5272343Sngie    int foo = 0;
6272343Sngie    if (foo)
7272343Sngie	x = 1;
8272343Sngie}
9