reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
77 if (C.getSVal(B).isUndef()) { 83 dyn_cast<FunctionDecl>(C.getStackFrame()->getDecl())) 84 if (C.getCalleeName(EnclosingFunctionDecl) == "swap") 88 ExplodedNode *N = C.generateErrorNode(); 101 if (C.getSVal(B->getLHS()).isUndef()) { 105 else if (C.getSVal(B->getRHS()).isUndef()) { 114 if (isArrayIndexOutOfBounds(C, Ex)) 120 C.isNegative(B->getRHS())) { 128 isShiftOverflow(B, C)) { 136 SValBuilder &SB = C.getSValBuilder(); 138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); 138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); 149 C.isNegative(B->getLHS())) { 154 isLeftShiftResultUnrepresentable(B, C)) { 155 ProgramStateRef State = C.getState(); 156 SValBuilder &SB = C.getSValBuilder(); 158 SB.getKnownValue(State, C.getSVal(B->getLHS())); 160 SB.getKnownValue(State, C.getSVal(B->getRHS())); 181 C.emitReport(std::move(report));