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