| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core.DivideZero -verify %s |
|---|---|
| 2 | |
| 3 | int fooPR10616 (int qX ) { |
| 4 | int a, c, d; |
| 5 | |
| 6 | d = (qX-1); |
| 7 | while ( d != 0 ) { |
| 8 | d = c - (c/d) * d; |
| 9 | } |
| 10 | |
| 11 | return (a % (qX-1)); // expected-warning {{Division by zero}} |
| 12 | |
| 13 | } |
| 14 |