Home
last modified time | relevance | path

Searched refs:getSVal (Results 1 – 25 of 74) sorted by relevance

123

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp59 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
60 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
142 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
239 originalV = State->getSVal(copyExpr, LCtx); in VisitBlockExpr()
241 originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
270 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
296 evalLoad(Dst, CastE, CastE, Node, State, State->getSVal(Ex, LCtx)); in VisitCast()
308 evalLocation(DstEvalLoc, CastE, Ex, Node, State, State->getSVal(Ex, LCtx), in VisitCast()
323 if (const MemRegion *MR = State->getSVal(Ex, LCtx).getAsRegion()) { in VisitCast()
324 SVal OrigV = State->getSVal(MR); in VisitCast()
[all …]
H A DCheckerContext.cpp28 SVal L = Pred->getSVal(Callee); in getCalleeDecl()
164 return evalComparison(getSVal(E), BO_GE, V, getState()); in isGreaterOrEqual()
169 return evalComparison(getSVal(E), BO_LT, V, getState()); in isNegative()
H A DExprEngineCXX.cpp82 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
158 SVal ThisVal = State->getSVal(ThisPtr); in computeObjectUnderConstruction()
539 cast<SubRegion>(State->getSVal(SourceArray, LCtx).getAsRegion()); in bindRequiredArrayElementToEnvironment()
569 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
672 SVal ThisVal = State->getSVal(ThisPtr); in handleConstructor()
932 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
1053 SVal V = State->getSVal(Init, LCtx); in VisitCXXNewExpr()
1076 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
1093 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
1151 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
[all …]
H A DExprEngine.cpp270 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
293 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
310 SVal V = state->getSVal(L); in getInitialState()
331 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded()
438 SVal InitVal = State->getSVal(Init, LC); in createTemporaryRegionIfNeeded()
1176 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()
1210 InitVal = State->getSVal(Init, stackFrame); in ProcessInitializer()
1220 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()
1232 SVal InitVal = State->getSVal(Init, stackFrame); in ProcessInitializer()
1352 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
[all …]
H A DBugReporterVisitors.cpp248 return State->getSVal(State->getLValue(VD, LCtx)); in getSValForVar()
252 if (auto FieldL = State->getSVal(ME, LCtx).getAs<Loc>()) in getSValForVar()
331 N->getSVal(BO->getLHS()).getAsRegion())) in wasRegionOfInterestModifiedAt()
335 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt()
585 const SVal V = State->getSVal(FR); in findRegionOfInterestInRecord()
675 V = State->getSVal(MR, PT); in maybeEmitNoteForParameters()
688 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in wasModifiedBeforeCallExit()
882 const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion(); in matchAssignment()
952 SVal V = State->getSVal(Ret, CalleeSFC); in visitNodeInitial()
1512 if (Succ->getState()->getSVal(R) != V) in VisitNode()
[all …]
H A DExprEngineObjC.cpp26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
115 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
123 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
H A DCallEvent.cpp311 return getSVal(ArgE); in getArgSVal()
325 return getSVal(E); in getReturnValue()
688 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
712 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
748 SVal ThisVal = Base ? getSVal(Base) : UnknownVal(); in getCXXThisVal()
890 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
1030 return getSVal(RecE); in getReceiverSVal()
1048 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
1465 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
1489 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
H A DExprEngineCallAndReturn.cpp294 SVal V = state->getSVal(RS, LCtx); in processCallExit()
315 SVal ThisV = state->getSVal(This); in processCallExit()
316 ThisV = state->getSVal(ThisV.castAs<Loc>()); in processCallExit()
328 SVal AllocV = state->getSVal(CNE, callerCtx); in processCallExit()
726 Escaped.emplace_back(loc::MemRegionVal(MR), State->getSVal(MR, Pointee)); in evalCall()
762 ThisV = State->getSVal(ThisV.castAs<Loc>()); in bindReturnValue()
791 R = State->getSVal(Target.castAs<Loc>(), E->getType()); in bindReturnValue()
805 ElementCount = State->getSVal(SizeExpr, LCtx); in bindReturnValue()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTestAfterDivZeroChecker.cpp113 SVal S = Succ->getSVal(E); in REGISTER_SET_WITH_PROGRAMSTATE()
198 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
219 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
228 Val = C.getSVal(I->getSubExpr()); in checkBranchCondition()
233 Val = C.getSVal(U->getSubExpr()); in checkBranchCondition()
240 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
245 SVal Val = C.getSVal(Condition); in checkBranchCondition()
H A DUndefResultChecker.cpp43 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
62 if (C.getSVal(B).isUndef()) { in checkPostStmt()
81 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
85 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
H A DExprInspectionChecker.cpp143 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString()
202 const MemRegion *MR = C.getSVal(Arg).getAsRegion(); in getArgRegion()
259 SVal V = C.getSVal(Arg); in analyzerExplain()
294 SVal V = C.getSVal(Arg); in analyzerValue()
309 QualType Ty = C.getSVal(Arg).getType(C.getASTContext()); in analyzerDumpSValType()
319 SVal V = C.getSVal(Arg); in analyzerDump()
330 SVal Size = getDynamicExtentWithOffset(State, C.getSVal(Arg)); in analyzerGetExtent()
343 SVal Size = getDynamicExtentWithOffset(State, C.getSVal(Arg)); in analyzerDumpExtent()
363 C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy); in analyzerDumpElementCount()
378 SVal Val = C.getSVal(Arg); in analyzerWarnOnDeadSymbol()
[all …]
H A DInvalidatedIteratorChecker.cpp77 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
88 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
98 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
108 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DObjCContainersChecker.cpp36 SVal ArrayRef = C.getSVal(E); in getArraySym()
63 SVal SizeV = C.getSVal(Size); in REGISTER_MAP_WITH_PROGRAMSTATE()
69 SVal ArrayRef = C.getSVal(Array); in REGISTER_MAP_WITH_PROGRAMSTATE()
125 SVal IdxVal = C.getSVal(IdxExpr); in checkPreStmt()
H A DCStringChecker.cpp472 State->getSVal(*FirstElementVal).isUndef()) { in checkInit()
528 State->getSVal(LastElementVal.castAs<Loc>()).isUndef()) { in checkInit()
617 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess()
638 SVal LengthVal = C.getSVal(Size.Expression); in CheckBufferAccess()
693 SVal firstVal = state->getSVal(First.Expression, LCtx); in CheckOverlap()
694 SVal secondVal = state->getSVal(Second.Expression, LCtx); in CheckOverlap()
743 SVal LengthVal = state->getSVal(Size.Expression, LCtx); in CheckOverlap()
1354 SVal MemVal = C.getSVal(DstBuffer); in memsetAux()
1355 SVal SizeVal = C.getSVal(Size); in memsetAux()
1451 SVal sizeVal = state->getSVal(Size.Expression, LCtx); in evalCopyCommon()
[all …]
H A DObjCSelfInitChecker.cpp135 SVal exprVal = C.getSVal(E); in isInvalidSelf()
183 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
253 getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); in checkPreCall()
284 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); in checkPostCall()
310 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self, in checkLocation()
H A DCXXSelfAssignmentChecker.cpp50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
52 auto ParamVal = State->getSVal(Param); in checkBeginFunction()
H A DIteratorRangeChecker.cpp150 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
165 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
170 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
181 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
191 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DPointerSubChecker.cpp46 SVal LV = C.getSVal(B->getLHS()); in checkPreStmt()
47 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
H A DBitwiseShiftChecker.cpp140 const SVal OperandVal = Ctx.getSVal(operandExpr(Side)); in assumeRequirement()
171 const SVal Right = Ctx.getSVal(operandExpr(OperandSide::Right)); in checkOvershift()
247 const auto Left = Ctx.getSVal(LHS).getAs<nonloc::ConcreteInt>(); in checkLeftShiftOverflow()
270 const SVal Right = Ctx.getSVal(Op->getRHS()); in checkLeftShiftOverflow()
H A DEnumCastOutOfRangeChecker.cpp93 C.getSVal(CE->getSubExpr()).getAs<nonloc::ConcreteInt>(); in reportWarning()
135 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>(); in checkPreStmt()
H A DBasicObjCFoundationChecks.cpp134 auto Location = C.getSVal(E).getAs<Loc>(); in warnIfNilExpr()
450 SVal TheTypeVal = C.getSVal(CE->getArg(1)); in checkPreStmt()
471 SVal TheValueExpr = C.getSVal(CE->getArg(2)); in checkPreStmt()
865 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
905 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
912 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
956 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1040 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1176 SVal Val = C.getSVal(NonNullExpr); in assumeExprIsNonNull()
H A DCheckPlacementNew.cpp67 return getDynamicExtentWithOffset(C.getState(), C.getSVal(Place)); in getExtentSizeOfPlace()
82 SVal ElementCount = C.getSVal(SizeExpr); in getExtentSizeOfNewTarget()
282 SVal PlaceVal = C.getSVal(Place); in checkPlaceIsAlignedProperly()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp136 SVal V = State->getSVal(FR); in isDereferencableUninit()
201 SVal PointeeV = State->getSVal(R); in isDereferencableUninit()
222 SVal V = State->getSVal(FR); in dereference()
241 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h377 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
383 SVal getSVal(Loc LV, QualType T = QualType()) const;
390 SVal getSVal(const MemRegion* R, QualType T = QualType()) const;
786 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function
788 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
799 return getSVal(S, LCtx); in getSValAsScalarOrLoc()
809 inline SVal ProgramState::getSVal(const MemRegion* R, QualType T) const { in getSVal() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp155 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
209 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
232 SVal V = pred->getSVal(Child); in processObjCLiterals()
248 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
274 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
285 std::optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>(); in checkPostStmt()
290 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
558 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters()
924 SVal RetVal = state->getSVal(BindReturnTo, LCtx); in evalCall()
1337 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()

123