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

123

/external/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp42 if (state->getSVal(B, LCtx).isUndef()) {
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
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());
64 SVal SizeV = State->getSVal(Size, C.getLocationContext());
70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
H A DUndefinedArraySubscriptChecker.cpp39 if (!C.getSVal(Index).isUndef())
H A DBuiltinFunctionChecker.cpp50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
65 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
H A DPthreadLockChecker.cpp95 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
134 SVal X = state->getSVal(CE, C.getLocationContext());
H A DUndefBranchChecker.cpp51 return St->getSVal(Ex, LCtx).isUndef();
63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
H A DUndefCapturedBlockVarChecker.cpp62 cast<BlockDataRegion>(state->getSVal(BE,
79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
H A DTestAfterDivZeroChecker.cpp119 SVal S = State->getSVal(E, Succ->getLocationContext());
207 SVal S = C.getSVal(B->getRHS());
228 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());
237 Val = C.getSVal(I->getSubExpr());
242 Val = C.getSVal(U->getSubExpr());
249 SVal Val = C.getSVal(IE->getSubExpr());
254 SVal Val = C.getSVal(Condition);
H A DStreamChecker.cpp246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
260 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
288 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
295 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
302 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
309 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
316 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
323 if (!CheckNullStream(state->getSVal(C
[all...]
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.cpp43 SVal V = state->getSVal(RetE, C.getLocationContext());
H A DUndefinedAssignmentChecker.cpp66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
H A DObjCSelfInitChecker.cpp135 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
187 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
256 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
287 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
313 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
H A DDivZeroChecker.cpp60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
H A DTraversalChecker.cpp102 llvm::outs() << "Returning " << C.getSVal(CallE) << "\n";
H A DUnixAPIChecker.cpp99 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
157 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
244 SVal argVal = state->getSVal(arg, C.getLocationContext());
272 SVal argVal = state->getSVal(arg, 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.cpp40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
132 SVal V = state->getSVal(LHS, LCtx);
211 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
239 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
285 SVal V = state->getSVal(Ex, LCtx);
324 SVal V = state->getSVal(Ex, LCtx);
333 SVal val = state->getSVal(Ex, LCtx);
341 SVal val = state->getSVal(Ex, LCtx);
419 SVal V = State->getSVal(C
[all...]
H A DCheckerContext.cpp25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h195 SVal getSVal(const Stmt *S) const { function in class:clang::ento::CheckerContext
196 return getState()->getSVal(S, getLocationContext());
H A DEnvironment.h77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;

Completed in 180 milliseconds

123