1 /* { dg-do run } */ 2 /* { dg-additional-options "-fsanitize=unreachable" } */ 3 4 5 int a, b, c, d; 6 7 void fn1()8fn1 () 9 { 10 for (c = 0; c < 2; c++) 11 { 12 int e, f = 1; 13 for (e = 0; e < 2; e++) 14 { 15 if (!f) 16 return; 17 for (d = 0; d; d++) 18 f = b; 19 } 20 } 21 } 22 23 int main()24main () 25 { 26 for (; a < 1; a++) 27 { 28 fn1 (); 29 } 30 __builtin_exit (0); 31 } 32