10     return 1 / div;   // expected-note {{Division by zero}} \  in f()
11                       // expected-warning {{Division by zero}}  in f()
20     return 1 / div;   // expected-note {{Division by zero}} \  in f()
21                       // expected-warning {{Division by zero}}  in f()
30     return 1 / div;   // expected-note {{Division by zero}} \  in f()
31                       // expected-warning {{Division by zero}}  in f()
42     return 1 / div;       // expected-note {{Division by zero}} \  in f()
43                           // expected-warning {{Division by zero}}  in f()
54     return 1 / div;    // expected-note {{Division by zero}} \  in f()
55                        // expected-warning {{Division by zero}}  in f()
64     return 1 / div;     // expected-note {{Division by zero}} \  in f()
65                         // expected-warning {{Division by zero}}  in f()
74     return 1 / div;     // expected-note {{Division by zero}} \  in f()
75                         // expected-warning {{Division by zero}}  in f()
84     return 1 / div;     // expected-note {{Division by zero}} \  in f()
85                         // expected-warning {{Division by zero}}  in f()
95     return 1 / div;     // expected-note {{Division by zero}} \  in f()
96                         // expected-warning {{Division by zero}}  in f()