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

12

/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
97 SVal X = state->getSVal(CE, C.getLocationContext());
H A DUndefResultChecker.cpp42 if (state->getSVal(B, LCtx).isUndef()) {
65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
69 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 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 DStreamChecker.cpp243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
257 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
312 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
319 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.cpp42 SVal V = state->getSVal(RetE, C.getLocationContext());
H A DUndefinedAssignmentChecker.cpp66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
H A DObjCSelfInitChecker.cpp140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
258 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
289 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
315 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
H A DCStringChecker.cpp352 SVal BufVal = state->getSVal(FirstBuf, LCtx);
364 SVal LengthVal = state->getSVal(Size, LCtx);
390 BufVal = state->getSVal(SecondBuf, LCtx);
429 SVal firstVal = state->getSVal(First, LCtx);
430 SVal secondVal = state->getSVal(Second, LCtx);
479 SVal LengthVal = state->getSVal(Size, LCtx);
908 SVal sizeVal = state->getSVal(Size, LCtx);
916 SVal destVal = state->getSVal(Dest, LCtx);
937 SVal srcVal = state->getSVal(Source, LCtx);
991 state = InvalidateBuffer(C, state, Dest, C.getSVal(Des
[all...]
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());
H A DTraversalChecker.cpp102 llvm::outs() << "Returning " << C.getSVal(CallE) << "\n";
H A DUnixAPIChecker.cpp104 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
162 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
249 SVal argVal = state->getSVal(arg, C.getLocationContext());
277 SVal argVal = state->getSVal(arg, C.getLocationContext());
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
125 SVal V = state->getSVal(LHS, LCtx);
204 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
232 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
278 SVal V = state->getSVal(Ex, LCtx);
316 SVal V = state->getSVal(Ex, LCtx);
325 SVal val = state->getSVal(Ex, LCtx);
333 SVal val = state->getSVal(Ex, LCtx);
411 SVal V = State->getSVal(C
[all...]
H A DCheckerContext.cpp25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h190 SVal getSVal(const Stmt *S) const { function in class:clang::ento::CheckerContext
191 return getState()->getSVal(S, getLocationContext());
H A DEnvironment.h77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;

Completed in 107 milliseconds

12