Home
last modified time | relevance | path

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

1234

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
78 if (C.getSVal(B).isUndef()) { in checkPostStmt()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
106 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
161 SB.getKnownValue(State, C.getSVal(B->getRHS())); in checkPostStmt()
H A DPointerArithChecker.cpp109 SVal S = State->getSVal(Region); in getPointedRegion()
156 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
228 SVal SV = C.getSVal(CE); in checkPostStmt()
249 SVal AllocedVal = C.getSVal(NE); in checkPostStmt()
264 SVal CastedVal = C.getSVal(CastedExpr); in checkPostStmt()
282 SVal CastedVal = C.getSVal(CastedExpr); in checkPreStmt()
305 SVal Idx = C.getSVal(SubsExpr->getIdx()); in checkPreStmt()
328 SVal RHSVal = C.getSVal(Rhs); in checkPreStmt()
335 SVal LHSVal = C.getSVal(Lhs); in checkPreStmt()
H A DTestAfterDivZeroChecker.cpp115 SVal S = Succ->getSVal(E); in REGISTER_SET_WITH_PROGRAMSTATE()
205 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
235 Val = C.getSVal(I->getSubExpr()); in checkBranchCondition()
240 Val = C.getSVal(U->getSubExpr()); in checkBranchCondition()
247 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
252 SVal Val = C.getSVal(Condition); in checkBranchCondition()
H A DCStringChecker.cpp391 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess()
403 SVal LengthVal = C.getSVal(Size.Expression); in CheckBufferAccess()
453 SVal firstVal = state->getSVal(First.Expression, LCtx); in CheckOverlap()
454 SVal secondVal = state->getSVal(Second.Expression, LCtx); in CheckOverlap()
503 SVal LengthVal = state->getSVal(Size.Expression, LCtx); in CheckOverlap()
887 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound()
889 SVal LengthVal = state->getSVal(Size, LCtx); in IsFirstBufInBound()
1038 SVal MemVal = C.getSVal(DstBuffer); in memsetAux()
1039 SVal SizeVal = C.getSVal(Size); in memsetAux()
1135 SVal sizeVal = state->getSVal(Size.Expression, LCtx); in evalCopyCommon()
[all …]
H A DInvalidatedIteratorChecker.cpp82 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
93 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
103 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
113 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DObjCContainersChecker.cpp41 SVal ArrayRef = C.getSVal(E); in getArraySym()
71 SVal SizeV = C.getSVal(Size); in REGISTER_MAP_WITH_PROGRAMSTATE()
77 SVal ArrayRef = C.getSVal(Array); in REGISTER_MAP_WITH_PROGRAMSTATE()
133 SVal IdxVal = C.getSVal(IdxExpr); in checkPreStmt()
H A DObjCSelfInitChecker.cpp134 SVal exprVal = C.getSVal(E); in isInvalidSelf()
185 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
254 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); in checkPreCall()
285 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); in checkPostCall()
311 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self, in checkLocation()
H A DExprInspectionChecker.cpp135 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString()
197 const MemRegion *MR = C.getSVal(Arg).getAsRegion(); in getArgRegion()
253 SVal V = C.getSVal(Arg); in analyzerExplain()
264 SVal V = C.getSVal(Arg); in analyzerDump()
336 SVal Val = C.getSVal(Arg); in analyzerWarnOnDeadSymbol()
407 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); in analyzerDenote()
480 SVal ArgVal = C.getSVal(CE->getArg(0)); in analyzerExpress()
H A DPointerSubChecker.cpp41 SVal LV = C.getSVal(B->getLHS()); in checkPreStmt()
42 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
H A DIteratorRangeChecker.cpp151 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
166 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
171 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
182 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
192 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DCXXSelfAssignmentChecker.cpp50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
52 auto ParamVal = State->getSVal(Param); in checkBeginFunction()
H A DUndefBranchChecker.cpp51 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
66 SVal X = Ctx.getSVal(Condition); in checkBranchCondition()
H A DUndefCapturedBlockVarChecker.cpp57 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
73 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
H A DDeleteWithNonVirtualDtorChecker.cpp64 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
129 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
H A DBasicObjCFoundationChecks.cpp141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
444 SVal TheTypeVal = C.getSVal(CE->getArg(1)); in checkPreStmt()
464 SVal TheValueExpr = C.getSVal(CE->getArg(2)); in checkPreStmt()
861 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
900 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
907 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
951 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1036 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1178 SVal Val = C.getSVal(NonNullExpr); in assumeExprIsNonNull()
H A DUnixAPIChecker.cpp232 const SVal V = C.getSVal(oflagsEx); in CheckOpenVariant()
286 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion(); in CheckPthreadOnce()
377 SVal argVal = C.getSVal(arg); in BasicAllocationCheck()
405 SVal argVal = C.getSVal(arg); in CheckCallocZero()
/netbsd-src/external/apache2/llvm/dist/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()
141 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
240 originalV = State->getSVal(copyExpr, LCtx); in VisitBlockExpr()
242 originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
271 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
313 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
359 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
366 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
388 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
[all …]
H A DBugReporterVisitors.cpp218 return State->getSVal(State->getLValue(VD, LCtx)); in getSValForVar()
222 if (auto FieldL = State->getSVal(ME, LCtx).getAs<Loc>()) in getSValForVar()
300 N->getSVal(BO->getLHS()).getAsRegion())) in wasRegionOfInterestModifiedAt()
304 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt()
538 const SVal V = State->getSVal(FR); in findRegionOfInterestInRecord()
630 V = State->getSVal(MR, PT); in VisitNode()
642 SVal ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()
651 ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()
887 const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion(); in matchAssignment()
1003 SVal RetVal = Node->getSVal(S); in addVisitorIfNecessary()
[all …]
H A DCheckerContext.cpp23 SVal L = Pred->getSVal(Callee); in getCalleeDecl()
125 return evalComparison(getSVal(E), BO_GE, V, getState()); in isGreaterOrEqual()
130 return evalComparison(getSVal(E), BO_LT, V, getState()); in isNegative()
H A DExprEngine.cpp257 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
280 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
297 SVal V = state->getSVal(L); in getInitialState()
318 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded()
422 SVal InitVal = State->getSVal(Init, LC); in createTemporaryRegionIfNeeded()
832 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()
866 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()
869 InitVal = State->getSVal(*LValueLoc); in ProcessInitializer()
879 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()
962 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
[all …]
H A DExprEngineCXX.cpp78 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
137 SVal ThisVal = State->getSVal(ThisPtr); in computeObjectUnderConstruction()
481 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
545 SVal ThisVal = State->getSVal(ThisPtr); in handleConstructor()
804 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
919 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
985 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
1013 InitVal = State->getSVal(InitExpr, LocCtxt); in VisitLambdaExpr()
1019 InitVal = State->getSVal(SizeExpr, LocCtxt); in VisitLambdaExpr()
[all …]
H A DCallEvent.cpp385 return getSVal(ArgE); in getArgSVal()
399 return getSVal(E); in getReturnValue()
662 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
674 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
714 SVal ThisVal = getSVal(Base); in getCXXThisVal()
845 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
977 return getSVal(RecE); in getReceiverSVal()
995 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
1406 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
1429 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
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 DExprEngineCallAndReturn.cpp234 SVal V = state->getSVal(RS, LCtx); in processCallExit()
255 SVal ThisV = state->getSVal(This); in processCallExit()
256 ThisV = state->getSVal(ThisV.castAs<Loc>()); in processCallExit()
266 SVal AllocV = state->getSVal(CNE, callerCtx); in processCallExit()
623 Escaped.emplace_back(loc::MemRegionVal(MR), State->getSVal(MR, Pointee)); in evalCall()
658 ThisV = State->getSVal(ThisV.castAs<Loc>()); in bindReturnValue()
687 R = State->getSVal(Target.castAs<Loc>(), E->getType()); in bindReturnValue()
701 ElementCount = State->getSVal(SizeExpr, LCtx); in bindReturnValue()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp141 SVal V = State->getSVal(FR); in isDereferencableUninit()
206 SVal PointeeV = State->getSVal(R); in isDereferencableUninit()
227 SVal V = State->getSVal(FR); in dereference()
246 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()

1234