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 } 14
