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

123

/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp43 SVal Loc = C.getSVal(Ex);
69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS()));
70 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS()));
77 if (C.getSVal(B).isUndef()) {
101 if (C.getSVal(B->getLHS()).isUndef()) {
105 else if (C.getSVal(B->getRHS()).isUndef()) {
138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS()));
158 SB.getKnownValue(State, C.getSVal(B->getLHS()));
160 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 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 DCXXSelfAssignmentChecker.cpp50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
52 auto ParamVal = State->getSVal(Param);
H A DUndefBranchChecker.cpp49 return St->getSVal(Ex, LCtx).isUndef();
61 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 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();
127 const MemRegion *M = N->getSVal(CastE).getAsRegion();
H A DObjCAtSyncChecker.cpp41 SVal V = C.getSVal(Ex);
H A DReturnPointerRangeChecker.cpp42 SVal V = C.getSVal(RetE);
H A DUndefinedArraySubscriptChecker.cpp38 if (!C.getSVal(Index).isUndef())
H A DExprInspectionChecker.cpp113 SVal AssertionVal = State->getSVal(Assertion, LC);
203 SVal V = C.getSVal(CE->getArg(0));
215 SVal V = C.getSVal(CE->getArg(0));
230 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());
251 SVal Val = C.getSVal(CE->getArg(0));
322 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
397 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
H A DPthreadLockChecker.cpp121 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics);
125 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics);
129 AcquireLock(C, CE, C.getSVal(CE->getArg(0)),
134 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics);
139 ReleaseLock(C, CE, C.getSVal(CE->getArg(0)));
141 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics);
143 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics);
145 InitLock(C, CE, C.getSVal(CE->getArg(0)));
229 SVal X = C.getSVal(CE);
365 SymbolRef sym = C.getSVal(C
[all...]
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.cpp388 SVal BufVal = C.getSVal(FirstBuf);
400 SVal LengthVal = C.getSVal(Size);
428 BufVal = state->getSVal(SecondBuf, LCtx);
467 SVal firstVal = state->getSVal(First, LCtx);
468 SVal secondVal = state->getSVal(Second, LCtx);
517 SVal LengthVal = state->getSVal(Size, LCtx);
899 SVal BufVal = state->getSVal(FirstBuf, LCtx);
901 SVal LengthVal = state->getSVal(Size, LCtx);
1048 SVal MemVal = C.getSVal(DstBuffer);
1049 SVal SizeVal = C.getSVal(Siz
[all...]
H A DCheckPlacementNew.cpp31 const MemRegion *MRegion = C.getSVal(Place).getAsRegion();
61 SVal ElementCount = C.getSVal(SizeExpr);
H A DGTestChecker.cpp140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>());
266 return State->getSVal(*FieldLoc);
H A DEnumCastOutOfRangeChecker.cpp112 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>();
H A DMacOSXAPIChecker.cpp72 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
/freebsd-12-stable/contrib/llvm-project/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...]
/freebsd-12-stable/contrib/llvm-project/clang/lib/Analysis/plugins/SampleAnalyzer/
H A DMainCallChecker.cpp21 const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl();
/freebsd-12-stable/contrib/llvm-project/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 286 milliseconds

123