reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); 227 if (hasDivZeroMap(Val, C)) 228 reportBug(Val, C); 235 Val = C.getSVal(I->getSubExpr()); 237 if (hasDivZeroMap(Val, C)) 238 reportBug(Val, C); 240 Val = C.getSVal(U->getSubExpr()); 241 if (hasDivZeroMap(Val, C)) 242 reportBug(Val, C); 247 SVal Val = C.getSVal(IE->getSubExpr()); 249 if (hasDivZeroMap(Val, C)) 250 reportBug(Val, C); 252 SVal Val = C.getSVal(Condition); 254 if (hasDivZeroMap(Val, C)) 255 reportBug(Val, C);