24   int num = 10;  in while_analyzer_output()  local
28     num = flag_b;  in while_analyzer_output()
30   if (num < 0) // expected-note {{Assuming 'num' is >= 0}}   in while_analyzer_output()
33   else if (num >= 1) // expected-note {{Assuming 'num' is < 1}}   in while_analyzer_output()
38   return flag_b / num; // no-crash expected-warning {{Division by zero}}   in while_analyzer_output()
44   int num = 10;  in do_while_analyzer_output()  local
47     num--;  in do_while_analyzer_output()
50   if (num == 0)       // expected-note {{Assuming 'num' is equal to 0}}   in do_while_analyzer_output()
52     local = 10 / num; // no-crash expected-warning {{Division by zero}}  in do_while_analyzer_output()
59   int num = 10;  in test_for_loop()  local
65     ++num;  in test_for_loop()
67   if (num == 0) // expected-note {{Assuming 'num' is equal to 0}}   in test_for_loop()
70   return flag_d / num; // no-crash expected-warning {{Division by zero}}   in test_for_loop()