div-zero.cpp revision b459cf34c4df1a1317a9bda1e1e2cc32364e62cf 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core.DivideZero -verify %s
2
3int 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