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