| Anna Zaks | b459cf3 | 2011-10-01 06:35:19 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -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 | } | ||||