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

123

/external/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp41 if (state->getSVal(B, LCtx).isUndef()) {
55 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
59 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
H A DPthreadLockChecker.cpp71 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
76 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
81 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
86 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
92 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
105 SVal X = state->getSVal(CE, C.getLocationContext());
H A DBuiltinFunctionChecker.cpp49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
64 cast<DefinedOrUnknownSVal>(state->getSVal(*(CE->arg_begin()), LCtx));
H A DPointerArithChecker.cpp41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
H A DPointerSubChecker.cpp44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
H A DFixedAddressChecker.cpp48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
H A DObjCContainersChecker.cpp41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
72 SVal SizeV = State->getSVal(Size, C.getLocationContext());
78 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
133 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
H A DReturnUndefChecker.cpp41 if (!C.getState()->getSVal(RetE, C.getLocationContext()).isUndef())
H A DUndefinedArraySubscriptChecker.cpp37 if (C.getState()->getSVal(A->getIdx(), C.getLocationContext()).isUndef()) {
H A DUndefBranchChecker.cpp51 return St->getSVal(Ex, LCtx).isUndef();
63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
H A DUndefCapturedBlockVarChecker.cpp61 cast<BlockDataRegion>(state->getSVal(BE,
79 SVal VRVal = state->getSVal(VR);
H A DStreamChecker.cpp255 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
262 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
269 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
273 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
296 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
303 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
310 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
317 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
324 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
331 if (!CheckNullStream(state->getSVal(C
[all...]
H A DOSAtomicChecker.cpp42 SVal L = State->getSVal(Callee, LCtx);
110 SVal location = state->getSVal(theValueExpr, LCtx);
141 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, LCtx, true);
143 SVal oldValueVal_untested = stateLoad->getSVal(oldValueExpr, LCtx);
167 SVal val = stateEqual->getSVal(newValueExpr, LCtx);
H A DMacOSXAPIChecker.cpp61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
H A DObjCAtSyncChecker.cpp42 SVal V = state->getSVal(Ex, C.getLocationContext());
H A DReturnPointerRangeChecker.cpp42 SVal V = state->getSVal(RetE, C.getLocationContext());
H A DUndefinedAssignmentChecker.cpp58 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
H A DObjCSelfInitChecker.cpp155 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
205 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
273 unsigned selfFlags = getSelfFlags(state->getSVal(cast<Loc>(argV)), C);
304 addSelfFlag(state, state->getSVal(cast<Loc>(argV)), prevFlags, C);
313 addSelfFlag(state, state->getSVal(CallExpr, C.getLocationContext()),
327 addSelfFlag(state, state->getSVal(cast<Loc>(location)), SelfFlag_Self, C);
H A DCastSizeChecker.cpp48 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion();
H A DDivZeroChecker.cpp60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
/external/clang/examples/analyzer-plugin/
H A DMainCallChecker.cpp22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp39 SVal LeftV = state->getSVal(LHS, LCtx);
40 SVal RightV = state->getSVal(RHS, LCtx);
122 SVal V = state->getSVal(LHS, LCtx);
200 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
228 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
274 SVal V = state->getSVal(Ex, LCtx);
310 SVal V = state->getSVal(Ex, LCtx);
319 SVal val = state->getSVal(Ex, LCtx);
327 SVal val = state->getSVal(Ex, LCtx);
406 SVal ILV = state->getSVal(IL
[all...]
H A DCheckerContext.cpp25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
H A DExprEngineCXX.cpp35 SVal V = state->getSVal(tempExpr, LCtx);
98 SVal ThisVal = State->getSVal(ThisPtr);
127 SVal ThisVal = State->getSVal(ThisPtr);
252 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
267 SVal Location = State->getSVal(CNE, LCtx);
269 State = State->bindLoc(cast<Loc>(Location), State->getSVal(Init, LCtx));
314 SVal V = state->getSVal(loc::MemRegionVal(R));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h149 SVal getSVal(const Stmt *S) const { function in class:clang::ento::CheckerContext
150 return getState()->getSVal(S, getLocationContext());

Completed in 214 milliseconds

123