Home
last modified time | relevance | path

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

1234

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPointerArithChecker.cpp109 SVal S = State->getSVal(Region); in getPointedRegion()
156 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
222 SVal SV = C.getSVal(CE); in checkPostStmt()
243 SVal AllocedVal = C.getSVal(NE); in checkPostStmt()
258 SVal CastedVal = C.getSVal(CastedExpr); in checkPostStmt()
276 SVal CastedVal = C.getSVal(CastedExpr); in checkPreStmt()
299 SVal Idx = C.getSVal(SubsExpr->getIdx()); in checkPreStmt()
322 SVal RHSVal = C.getSVal(Rhs); in checkPreStmt()
329 SVal LHSVal = C.getSVal(Lhs); in checkPreStmt()
H A DUndefResultChecker.cpp44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
63 if (C.getSVal(B).isUndef()) { in checkPostStmt()
82 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
86 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
H A DTestAfterDivZeroChecker.cpp116 SVal S = Succ->getSVal(E); in REGISTER_SET_WITH_PROGRAMSTATE()
201 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
222 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
231 Val = C.getSVal(I->getSubExpr()); in checkBranchCondition()
236 Val = C.getSVal(U->getSubExpr()); in checkBranchCondition()
243 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
248 SVal Val = C.getSVal(Condition); in checkBranchCondition()
H A DExprInspectionChecker.cpp143 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString()
202 const MemRegion *MR = C.getSVal(Arg).getAsRegion(); in getArgRegion()
258 SVal V = C.getSVal(Arg); in analyzerExplain()
293 SVal V = C.getSVal(Arg); in analyzerValue()
308 QualType Ty = C.getSVal(Arg).getType(C.getASTContext()); in analyzerDumpSValType()
318 SVal V = C.getSVal(Arg); in analyzerDump()
329 SVal Size = getDynamicExtentWithOffset(State, C.getSVal(Arg)); in analyzerGetExtent()
362 C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy); in analyzerDumpElementCount()
377 SVal Val = C.getSVal(Arg); in analyzerWarnOnDeadSymbol()
447 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); in analyzerDenote()
[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.cpp445 StInBound->getSVal(ER).isUndef()) { in CheckLocation()
471 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess()
491 SVal LengthVal = C.getSVal(Size.Expression); in CheckBufferAccess()
1203 SVal MemVal = C.getSVal(DstBuffer); in memsetAux()
1204 SVal SizeVal = C.getSVal(Size); in memsetAux()
2219 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()
2359 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon()
2387 SVal SizeVal = C.getSVal(Size.Expression); in evalMemset()
2435 SVal SizeVal = C.getSVal(Size.Expression); in evalBzero()
2450 SVal MemVal = C.getSVal(Buffer.Expression); in evalBzero()
[all …]
H A DPointerSubChecker.cpp42 SVal LV = C.getSVal(B->getLHS()); in checkPreStmt()
43 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
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 DUndefCapturedBlockVarChecker.cpp58 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
71 state->getSVal(Var.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
H A DIteratorRangeChecker.cpp145 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
160 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
165 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
176 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
186 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DUndefBranchChecker.cpp52 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
67 if (!Ctx.getSVal(Condition).isUndef()) in checkBranchCondition()
H A DBitwiseShiftChecker.cpp142 const SVal OperandVal = Ctx.getSVal(operandExpr(Side)); in assumeRequirement()
173 const SVal Right = Ctx.getSVal(operandExpr(OperandSide::Right)); in checkOvershift()
248 const auto Left = Ctx.getSVal(LHS).getAs<nonloc::ConcreteInt>(); in checkLeftShiftOverflow()
271 const SVal Right = Ctx.getSVal(Op->getRHS()); in checkLeftShiftOverflow()
H A DEnumCastOutOfRangeChecker.cpp92 C.getSVal(CE->getSubExpr()).getAs<nonloc::ConcreteInt>(); in reportWarning()
134 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>(); in checkPreStmt()
H A DUnixAPIChecker.cpp224 const SVal V = C.getSVal(oflagsEx); in CheckOpenVariant()
279 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion(); in CheckPthreadOnce()
365 SVal argVal = C.getSVal(arg); in BasicAllocationCheck()
393 SVal argVal = C.getSVal(arg); in CheckCallocZero()
H A DBasicObjCFoundationChecks.cpp135 auto Location = C.getSVal(E).getAs<Loc>(); in warnIfNilExpr()
451 SVal TheTypeVal = C.getSVal(CE->getArg(1)); in checkPreStmt()
472 SVal TheValueExpr = C.getSVal(CE->getArg(2)); in checkPreStmt()
870 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
910 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
917 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
961 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1045 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1181 SVal Val = C.getSVal(NonNullExpr); in assumeExprIsNonNull()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp58 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
59 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
139 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
266 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
337 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
344 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
365 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
410 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
508 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
1008 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DCheckerContext.cpp28 SVal L = Pred->getSVal(Callee); in getCalleeDecl()
151 return evalComparison(getSVal(E), BO_GE, V, getState()); in isGreaterOrEqual()
156 return evalComparison(getSVal(E), BO_LT, V, getState()); in isNegative()
H A DExprEngineCXX.cpp81 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
148 SVal ThisVal = State->getSVal(ThisPtr); in computeObjectUnderConstruction()
571 Base = State->getSVal(ME, LCtx); in bindRequiredArrayElementToEnvironment()
706 SVal ThisVal = State->getSVal(ThisPtr); in handleConstructor()
962 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
1081 SVal V = State->getSVal(Init, LCtx); in VisitCXXNewExpr()
1179 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
1220 InitVal = State->getSVal(OUC->getAsRegion()); in VisitLambdaExpr()
1224 InitVal = State->getSVal(InitExpr, LocCtxt); in VisitLambdaExpr()
1235 InitVal = State->getSVal(SizeExpr, LocCtxt); in VisitLambdaExpr()
[all …]
H A DExprEngine.cpp309 SVal V = state->getSVal(L); in getInitialState()
437 SVal InitVal = State->getSVal(Init, LC); in createTemporaryRegionIfNeeded()
1417 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor()
2604 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
3101 V = state->getSVal(R); in VisitCommonDeclRefExpr()
3133 Base = state->getSVal(R); in VisitCommonDeclRefExpr()
3162 V = state->getSVal(R); in VisitCommonDeclRefExpr()
3173 V = state->getSVal(R); in VisitCommonDeclRefExpr()
3281 Base = state->getSVal(R); in VisitArrayInitLoopExpr()
3413 L = state->getSVal(R); in VisitMemberExpr()
[all …]
H A DBugReporterVisitors.cpp674 const SVal V = State->getSVal(FR); in findRegionOfInterestInRecord()
764 V = State->getSVal(MR, PT); in maybeEmitNoteForParameters()
1041 SVal V = State->getSVal(Ret, CalleeSFC); in visitNodeInitial()
1556 if (Succ->getState()->getSVal(R) != V) in VisitNode()
1789 SVal V = StoreSite->getSVal(S); in VisitNode()
2347 SVal LVal = LVNode->getSVal(Inner); in handle()
2477 SVal RetVal = ExprNode->getSVal(E); in handle()
2482 RetVal = State->getSVal(*LValue); in handle()
2713 SVal V = N->getSVal(Receiver); in getNilReceiver()
2982 SVal V = state->getSVal(R); in patternMatch()
[all …]
H A DExprEngineObjC.cpp26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
114 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
122 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
H A DCallEvent.cpp312 return getSVal(ArgE); in getArgSVal()
326 return getSVal(E); in getReturnValue()
689 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
701 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
738 SVal ThisVal = Base ? getSVal(Base) : UnknownVal(); in getCXXThisVal()
878 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
1010 return getSVal(RecE); in getReceiverSVal()
1028 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
1442 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
1466 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp140 SVal V = State->getSVal(FR); in isDereferencableUninit()
205 SVal PointeeV = State->getSVal(R); in isDereferencableUninit()
226 SVal V = State->getSVal(FR); in dereference()
245 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()

1234