reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1569 QualType cmpTy = svalBuilder.getConditionType(); 1570 QualType sizeTy = svalBuilder.getContext().getSizeType(); 1591 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); 1605 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy) 1634 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, 1668 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); 1669 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, 1689 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE, 1701 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE, 1746 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, 1761 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE, 1773 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE, 1813 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, 1824 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, 1874 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());