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