7   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_eq()
12   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_eq2()
17   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_ne()
22   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_ge()
27   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_le()
32   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_yes()
36   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_not()
42   var = 77 / *y; // expected-note {{Division with compared value made here}}  in err_pnot()
48   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_pnot2()
55   var = 77 / **z; // expected-note {{Division with compared value made here}}  in err_ppnot()
110   var = 77 / x; // expected-note {{Division with compared value made here}}  in nok_callfunc()
155   use(5 / x); // expected-note {{Division with compared value made here}}  in foo2()
178   var = 77 / x; // expected-note {{Division with compared value made here}}  in inline_func()
192   var = 77 / x; // expected-note {{Division with compared value made here}}  in err_inline2()
201   var = 77 / x; // expected-note {{Division with compared value made here}}  in ok_inline()