xref: /llvm-project/clang/test/Analysis/div-zero.cpp (revision 184c6242faca0be0188611d45b41235e68ef282a) 
1*184c6242SDominic Chen // RUN: %clang_analyze_cc1 -analyzer-checker=core.DivideZero -verify %s
279ada929SAnna Zaks 
fooPR10616(int qX)379ada929SAnna Zaks int fooPR10616 (int qX ) {
479ada929SAnna Zaks   int a, c, d;
579ada929SAnna Zaks 
679ada929SAnna Zaks   d = (qX-1);
779ada929SAnna Zaks   while ( d != 0 ) {
879ada929SAnna Zaks     d = c - (c/d) * d;
979ada929SAnna Zaks   }
1079ada929SAnna Zaks 
1179ada929SAnna Zaks   return (a % (qX-1)); // expected-warning {{Division by zero}}
1279ada929SAnna Zaks 
1379ada929SAnna Zaks }
14