Searched refs:getSVal (Results 1 - 25 of 75) sorted by relevance

123

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp44 SVal Loc = C.getSVal(Ex);
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS()));
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS()));
78 if (C.getSVal(B).isUndef()) {
102 if (C.getSVal(B->getLHS()).isUndef()) {
106 else if (C.getSVal(B->getRHS()).isUndef()) {
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS()));
159 SB.getKnownValue(State, C.getSVal(B->getLHS()));
161 SB.getKnownValue(State, C.getSVal(B->getRHS()));
H A DPointerSubChecker.cpp41 SVal LV = C.getSVal(B->getLHS());
42 SVal RV = C.getSVal(B->getRHS());
H A DPointerArithChecker.cpp109 SVal S = State->getSVal(Region);
156 const MemRegion *Region = C.getSVal(E).getAsRegion();
228 SVal SV = C.getSVal(CE);
249 SVal AllocedVal = C.getSVal(NE);
264 SVal CastedVal = C.getSVal(CastedExpr);
282 SVal CastedVal = C.getSVal(CastedExpr);
305 SVal Idx = C.getSVal(SubsExpr->getIdx());
328 SVal RHSVal = C.getSVal(Rhs);
335 SVal LHSVal = C.getSVal(Lhs);
H A DFixedAddressChecker.cpp46 SVal RV = C.getSVal(B->getRHS());
H A DInvalidatedIteratorChecker.cpp82 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());
93 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext());
103 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext());
113 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext());
H A DObjCContainersChecker.cpp41 SVal ArrayRef = C.getSVal(E);
71 SVal SizeV = C.getSVal(Size);
77 SVal ArrayRef = C.getSVal(Array);
133 SVal IdxVal = C.getSVal(IdxExpr);
H A DUndefBranchChecker.cpp51 return St->getSVal(Ex, LCtx).isUndef();
66 SVal X = Ctx.getSVal(Condition);
H A DUndefCapturedBlockVarChecker.cpp57 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());
73 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
H A DCXXSelfAssignmentChecker.cpp50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
52 auto ParamVal = State->getSVal(Param);
H A DTestAfterDivZeroChecker.cpp115 SVal S = Succ->getSVal(E);
205 SVal S = C.getSVal(B->getRHS());
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());
235 Val = C.getSVal(I->getSubExpr());
240 Val = C.getSVal(U->getSubExpr());
247 SVal Val = C.getSVal(IE->getSubExpr());
252 SVal Val = C.getSVal(Condition);
H A DDeleteWithNonVirtualDtorChecker.cpp64 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion();
129 const MemRegion *M = N->getSVal(CastE).getAsRegion();
H A DUndefinedArraySubscriptChecker.cpp38 if (!C.getSVal(Index).isUndef())
H A DReturnPointerRangeChecker.cpp43 SVal V = C.getSVal(RetE);
H A DObjCSelfInitChecker.cpp134 SVal exprVal = C.getSVal(E);
185 SVal V = C.getSVal(Msg.getOriginExpr());
254 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
285 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
311 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
H A DCStringChecker.cpp391 SVal BufVal = C.getSVal(Buffer.Expression);
403 SVal LengthVal = C.getSVal(Size.Expression);
453 SVal firstVal = state->getSVal(First.Expression, LCtx);
454 SVal secondVal = state->getSVal(Second.Expression, LCtx);
503 SVal LengthVal = state->getSVal(Size.Expression, LCtx);
887 SVal BufVal = state->getSVal(FirstBuf, LCtx);
889 SVal LengthVal = state->getSVal(Size, LCtx);
1038 SVal MemVal = C.getSVal(DstBuffer);
1039 SVal SizeVal = C.getSVal(Size);
1135 SVal sizeVal = state->getSVal(Siz
[all...]
H A DSTLAlgorithmModeling.cpp114 SVal Param = State->getSVal(CE->getArg(paramNum), LCtx);
138 Param = State->getSVal(CE->getArg(paramNum + 1), LCtx);
H A DEnumCastOutOfRangeChecker.cpp112 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>();
H A DUndefinedAssignmentChecker.cpp75 if (C.getSVal(B->getLHS()).isUndef()) {
H A DMacOSXAPIChecker.cpp72 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
H A DObjCAtSyncChecker.cpp41 SVal V = C.getSVal(Ex);
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp23 SVal L = Pred->getSVal(Callee);
125 return evalComparison(getSVal(E), BO_GE, V, getState());
130 return evalComparison(getSVal(E), BO_LT, V, getState());
H A DExprEngineC.cpp58 SVal LeftV = state->getSVal(LHS, LCtx);
59 SVal RightV = state->getSVal(RHS, LCtx);
141 SVal V = state->getSVal(LHS, LCtx);
240 originalV = State->getSVal(copyExpr, LCtx);
242 originalV = State->getSVal(loc::MemRegionVal(originalR));
271 SVal OrigV = state->getSVal(Ex, LCtx);
313 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
359 SVal V = state->getSVal(Ex, LCtx);
366 SVal V = state->getSVal(Ex, LCtx);
388 SVal V = state->getSVal(E
[all...]
H A DExprEngineObjC.cpp26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
114 SVal collectionV = state->getSVal(collection, Pred->getLocationContext());
122 elementV = state->getSVal(elem, Pred->getLocationContext());
/netbsd-current/external/apache2/llvm/dist/clang/lib/Analysis/plugins/SampleAnalyzer/
H A DMainCallChecker.cpp21 const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl();
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp141 SVal V = State->getSVal(FR);
206 SVal PointeeV = State->getSVal(R);
227 SVal V = State->getSVal(FR);
246 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) {

Completed in 390 milliseconds

123