9     int div = p0 * y; // expected-note {{'div' initialized to 0}}  in f()  local
10     return 1 / div;   // expected-note {{Division by zero}} \  in f()
19     int div = y * p0; // expected-note {{'div' initialized to 0}}  in f()  local
20     return 1 / div;   // expected-note {{Division by zero}} \  in f()
29     int div = y*z*p0; // expected-note {{'div' initialized to 0}}  in f()  local
30     return 1 / div;   // expected-note {{Division by zero}} \  in f()
41     int div = p2 * y;     // expected-note {{'div' initialized to 0}}  in f()  local
42     return 1 / div;       // expected-note {{Division by zero}} \  in f()
53     int div = p0 * p1; // expected-note {{'div' initialized to 0}}  in f()  local
54     return 1 / div;    // expected-note {{Division by zero}} \  in f()
63     int div = y*(z*p0); // expected-note {{'div' initialized to 0}}  in f()  local
64     return 1 / div;     // expected-note {{Division by zero}} \  in f()
73     int div = p0 / y;   // expected-note {{'div' initialized to 0}}  in f()  local
74     return 1 / div;     // expected-note {{Division by zero}} \  in f()
83     int div = p0 % y;   // expected-note {{'div' initialized to 0}}  in f()  local
84     return 1 / div;     // expected-note {{Division by zero}} \  in f()
93     int div = 1;  in f()  local
94     div *= p0;          // expected-note {{The value 0 is assigned to 'div'}}  in f()
95     return 1 / div;     // expected-note {{Division by zero}} \  in f()