|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h 194 SValBuilder &getSValBuilder() { return svalBuilder; }
560 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
564 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
586 return svalBuilder.evalBinOpNN(state, op, L, R, T);
591 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
597 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 259 svalBuilder.makeZeroVal(T),
260 svalBuilder.getConditionType());
296 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
831 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
1325 svalBuilder.makeIntValWithPtrWidth(0, false));
1433 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
1471 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2450 svalBuilder.getCXXThis(MD, LocCtxt->getStackFrame());
2477 SVal V = svalBuilder.makeIntVal(ED->getInitVal());
2482 SVal V = svalBuilder.getFunctionPointer(FD);
2493 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
2589 SVal MDVal = svalBuilder.getFunctionPointer(MD);
2949 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
2956 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
87 RightV, LeftV, RHS, svalBuilder, Count, LCtx);
89 LeftV, RightV, LHS, svalBuilder, Count, LCtx);
155 V = svalBuilder.evalCast(V, CLHSTy, LTy);
158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
170 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
173 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
178 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
203 SVal V = svalBuilder.getBlockPointer(BD, T,
272 SVal V = svalBuilder.evalCast(OrigV, T, ExTy);
292 SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
369 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy);
432 V = svalBuilder.evalIntegralCast(state, V, T, ExTy);
472 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
478 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
503 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
511 SVal V = svalBuilder.makeNull();
517 SVal V = svalBuilder.getMemberPointer(nullptr);
527 SVal CastedPTMSV = svalBuilder.makePointerToMember(
619 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
706 X = svalBuilder.makeIntVal(constant, B->getType());
725 svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()),
750 SVal V = svalBuilder.makeCompoundVal(T, vals);
763 svalBuilder.makeCompoundVal(T, vals)));
838 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
855 SVal X = svalBuilder.makeIntVal(IV);
899 svalBuilder.makeIntVal(amt.getQuantity(),
971 SVal X = svalBuilder.makeZeroVal(Ex->getType());
985 SVal SV = svalBuilder.getMemberPointer(cast<DeclaratorDecl>(VD));
1037 Loc X = svalBuilder.makeNullWithType(Ex->getType());
1107 RHS = svalBuilder.makeArrayIndex(1);
1109 RHS = svalBuilder.makeIntVal(1, U->getType());
1118 Result = svalBuilder.makeTruthVal(true, U->getType());
1125 svalBuilder.conjureSymbolVal(nullptr, U, LCtx,
1134 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
1134 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
1139 Constraint = svalBuilder.evalEQ(state, SymVal,
1140 svalBuilder.makeZeroVal(U->getType()));
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 765 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
767 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
825 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),
864 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
880 svalBuilder.getRegionManager().getCXXThisRegion(
894 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion(
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 250 svalBuilder.getCXXThis(CCE->getConstructor()->getParent(), calleeCtx);
263 AllocV = svalBuilder.evalCast(
663 R = IsHeapPointer ? svalBuilder.getConjuredHeapSymbolVal(E, LCtx, Count)
664 : svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy,
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 137 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV,
141 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV,