7   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_eq()
8 …if (x == 0) { } // expected-warning {{Value being compared against zero has already been used for …  in err_eq()
9 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_eq()
12   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_eq2()
13 …if (0 == x) { } // expected-warning {{Value being compared against zero has already been used for …  in err_eq2()
14 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_eq2()
17   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_ne()
18 …if (x != 0) { } // expected-warning {{Value being compared against zero has already been used for …  in err_ne()
19 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_ne()
22   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_ge()
23 …if (x >= 0) { } // expected-warning {{Value being compared against zero has already been used for …  in err_ge()
24 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_ge()
27   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_le()
28 …if (x <= 0) {} // expected-warning {{Value being compared against zero has already been used for d…  in err_le()
29 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_le()
32   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_yes()
33 …if (x) {} // expected-warning {{Value being compared against zero has already been used for divisi…  in err_yes()
34 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_yes()
36   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_not()
37 …if (!x) {} // expected-warning {{Value being compared against zero has already been used for divis…  in err_not()
38 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_not()
42   var = 77 / *y; // expected-note {{Division with compared value made here}}  in err_pnot()
43 …if (!x) {} // expected-warning {{Value being compared against zero has already been used for divis…  in err_pnot()
44 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_pnot()
48   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_pnot2()
49 …if (!*y) {} // expected-warning {{Value being compared against zero has already been used for divi…  in err_pnot2()
50 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_pnot2()
55   var = 77 / **z; // expected-note {{Division with compared value made here}}  in err_ppnot()
56 …if (!x) {} // expected-warning {{Value being compared against zero has already been used for divis…  in err_ppnot()
57 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_ppnot()
110   var = 77 / x; // expected-note {{Division with compared value made here}}  in nok_callfunc()
112 …if (x == 0) {} // expected-warning {{Value being compared against zero has already been used for d…  in nok_callfunc()
113 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in nok_callfunc()
155   use(5 / x); // expected-note {{Division with compared value made here}}  in foo2()
156 …if (y == 0) {} // expected-warning {{Value being compared against zero has already been used for d…  in foo2()
157 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in foo2()
178   var = 77 / x; // expected-note {{Division with compared value made here}}  in inline_func()
179 …if (x == 0) {} // expected-warning {{Value being compared against zero has already been used for d…  in inline_func()
180 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in inline_func()
192   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_inline2()
194 …if (x == 0) {} // expected-warning {{Value being compared against zero has already been used for d…  in err_inline2()
195 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in err_inline2()
201   var = 77 / x; // expected-note {{Division with compared value made here}}  in ok_inline()
203 …if (x == 0) {} // expected-warning {{Value being compared against zero has already been used for d…  in ok_inline()
204 } // expected-note@-1 {{Value being compared against zero has already been used for division}}  in ok_inline()