Home
last modified time | relevance | path

Searched refs:getState (Results 1 – 25 of 97) sorted by relevance

1234

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DObjCSuperDeallocChecker.cpp86 ProgramStateRef State = C.getState(); in checkPreObjCMessage()
119 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
137 ProgramStateRef State = C.getState(); in checkLocation()
203 ProgramStateRef State = C.getState(); in diagnoseCallArguments()
233 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
246 ProgramStateRef State = Succ->getState(); in VisitNode()
249 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); in VisitNode()
251 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
H A DInvalidatedIteratorChecker.cpp75 ProgramStateRef State = C.getState(); in checkPreStmt()
86 ProgramStateRef State = C.getState(); in checkPreStmt()
97 ProgramStateRef State = C.getState(); in checkPreStmt()
107 ProgramStateRef State = C.getState(); in checkPreStmt()
114 auto State = C.getState(); in verifyAccess()
H A DValistChecker.cpp145 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
177 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); in getVAListAsRegion()
187 ProgramStateRef State = C.getState(); in checkPreStmt()
204 ProgramStateRef State = C.getState(); in checkDeadSymbols()
231 ProgramStateRef State = N->getState(); in getStartCallSite()
315 ProgramStateRef State = C.getState(); in checkVAListStartCall()
367 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
372 ProgramStateRef State = C.getState(); in checkVAListEndCall()
379 ProgramStateRef State = N->getState(); in VisitNode()
380 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
H A DNoOwnershipChangeVisitor.cpp55 ProgramStateRef State = N->getState(); in getOwnersAtNode()
87 CallExitEndN->getState()->getAnalysisManager().getASTContext())) in wasModifiedInFunction()
90 if (hasResourceStateChanged(CallEnterN->getState(), CallExitEndN->getState())) in wasModifiedInFunction()
H A DErrnoTesterChecker.cpp89 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
95 ProgramStateRef State = C.getState(); in evalGetErrno()
107 ProgramStateRef State = C.getState(); in evalSetErrnoIfError()
124 ProgramStateRef State = C.getState(); in evalSetErrnoIfErrorRange()
146 ProgramStateRef State = C.getState(); in evalSetErrnoCheckState()
H A DMIGChecker.cpp196 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); in checkPostCall()
208 ProgramStateRef State = C.getState(); in checkPostCall()
230 ProgramStateRef State = C.getState(); in mayBeSuccess()
241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
269 ProgramStateRef State = C.getState(); in checkReturnAux()
H A DErrnoChecker.cpp136 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation()
144 ProgramStateRef State = C.getState(); in checkLocation()
209 if (getErrnoState(C.getState()) == MustBeChecked) { in checkPreCall()
210 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()
212 generateErrnoNotCheckedBug(C, setErrnoStateIrrelevant(C.getState()), in checkPreCall()
H A DNoReturnFunctionChecker.cpp86 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
95 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
141 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
H A DIteratorModeling.cpp198 auto State = C.getState(); in checkPostCall()
237 auto State = C.getState(); in checkBind()
265 const ProgramStateRef State = C.getState(); in checkPostStmt()
295 auto State = C.getState(); in checkPostStmt()
324 auto State = C.getState(); in checkDeadSymbols()
453 auto State = C.getState(); in handleComparison()
538 auto State = C.getState(); in handleIncrement()
564 auto State = C.getState(); in handleDecrement()
592 auto State = C.getState(); in handleRandomIncrOrDecr()
636 ProgramStateRef State = C.getState(); in handlePtrIncrOrDecr()
[all …]
H A DStreamChecker.cpp775 N->getState()->getStateManager().getContext().getSourceManager()); in emitNote()
791 ProgramStateRef State = N->getState(); in getAcquisitionSite()
799 State = N->getState(); in getAcquisitionSite()
892 ProgramStateRef State = C.getState(); in evalFopen()
922 ProgramStateRef State = C.getState(); in preFreopen()
934 ProgramStateRef State = C.getState(); in evalFreopen()
979 ProgramStateRef State = C.getState(); in evalFclose()
996 ProgramStateRef State = C.getState(); in preRead()
1021 ProgramStateRef State = C.getState(); in preWrite()
1113 ProgramStateRef State = C.getState(); in evalFreadFwrite()
[all …]
H A DIteratorRangeChecker.cpp148 ProgramStateRef State = C.getState(); in checkPreStmt()
163 ProgramStateRef State = C.getState(); in checkPreStmt()
180 ProgramStateRef State = C.getState(); in checkPreStmt()
190 ProgramStateRef State = C.getState(); in checkPreStmt()
197 auto State = C.getState(); in verifyDereference()
223 auto State = C.getState(); in verifyRandomIncrOrDecr()
283 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
H A DBlockInCriticalSectionChecker.cpp106 const auto &ASTCtx = Call.getState()->getStateManager().getContext(); in initIdentifierInfo()
264 C.getState()->add<ActiveCritSections>(MarkToAdd); in handleLock()
276 ProgramStateRef State = C.getState(); in handleUnlock()
301 !C.getState()->get<ActiveCritSections>().isEmpty(); in isBlockingInCritSection()
319 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState()); in reportBlockInCritSection()
345 BR.getErrorNode()->getState()->get<ActiveCritSections>(); in createCritSectionNote()
H A DMallocChecker.cpp824 N->getState()->getStateManager().getContext().getSourceManager()); in emitNote()
982 ProgramStateRef getState() const { return state; } in getState() function in __anon0957485b0711::StopTrackingCallback
1136 ProgramStateRef State = C.getState(); in evalMulForBufferSize()
1144 ProgramStateRef State = C.getState(); in checkBasicAlloc()
1153 ProgramStateRef State = C.getState(); in checkKernelMalloc()
1196 ProgramStateRef State = C.getState(); in checkRealloc()
1204 ProgramStateRef State = C.getState(); in checkCalloc()
1212 ProgramStateRef State = C.getState(); in checkFree()
1223 ProgramStateRef State = C.getState(); in checkAlloca()
1232 ProgramStateRef State = C.getState(); in checkStrdup()
[all …]
H A DChrootChecker.cpp81 ProgramStateRef state = C.getState(); in evalChroot()
91 ProgramStateRef state = C.getState(); in evalChdir()
124 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag()); in checkPreCall()
H A DContainerModeling.cpp234 auto State = C.getState(); in checkDeadSymbols()
260 auto State = C.getState(); in handleBegin()
282 auto State = C.getState(); in handleEnd()
304 auto State = C.getState(); in handleAssignment()
379 auto State = C.getState(); in handleAssign()
394 auto State = C.getState(); in handleClear()
422 auto State = C.getState(); in handlePushBack()
461 auto State = C.getState(); in handlePopBack()
502 auto State = C.getState(); in handlePushFront()
536 auto State = C.getState(); in handlePopFront()
[all …]
H A DInnerPointerChecker.cpp200 ProgramStateRef State = C.getState(); in checkPostCall()
253 ProgramStateRef State = C.getState(); in checkDeadSymbols()
300 if (!isSymbolTracked(N->getState(), PtrToBuf) || in VisitNode()
301 isSymbolTracked(N->getFirstPred()->getState(), PtrToBuf)) in VisitNode()
309 allocation_state::getContainerObjRegion(N->getState(), PtrToBuf); in VisitNode()
H A DTrustNonnullChecker.cpp85 ProgramStateRef State = C.getState(); in checkPostCall()
100 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
133 ProgramStateRef State = C.getState(); in checkDeadSymbols()
187 ConditionTruthVal TV = C.getState()->isNonNull(Receiver); in isNonNullPtr()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp40 ProgramStateRef State = Ctx.getState(); in checkDoubleNonblocking()
48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
75 ProgramStateRef State = Ctx.getState(); in checkUnmatchedWaits()
86 State = ErrorNode->getState(); in checkUnmatchedWaits()
103 ProgramStateRef State = Ctx.getState(); in checkMissingWaits()
118 State = ErrorNode->getState(); in checkMissingWaits()
165 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h52 assert(Pred->getState() && in Eng()
72 const ProgramStateRef &getState() const { return Pred->getState(); } in getState() function
171 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
191 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
198 State = getState();
422 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp56 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
137 state = N->getState(); in VisitBinaryOperator()
204 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
291 ProgramStateRef state = subExprNode->getState(); in VisitCast()
307 ProgramStateRef state = Pred->getState(); in VisitCast()
336 ProgramStateRef state = Pred->getState(); in VisitCast()
545 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
597 ProgramStateRef state = N->getState(); in VisitDeclStmt()
662 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
718 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext()); in VisitLogicalExpr()
[all …]
H A DExprEngine.cpp1045 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
1088 ProgramStateRef CheckerState = I->getState(); in removeDead()
1094 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
1097 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
1146 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit()
1171 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
1245 ProgramStateRef State = I->getState(); in ProcessInitializer()
1332 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
1344 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
1382 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessAutomaticObjDtor()
[all …]
H A DCallEvent.cpp72 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
235 ProgramStateRef Result = (Orig ? Orig : getState()); in invalidateRegions()
332 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
546 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
548 getOriginExpr(), getState(), &Engine.getBuilderContext(), in getReturnValueUnderConstruction()
578 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
767 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
823 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
[all …]
H A DExprEngineCXX.cpp35 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
81 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
91 ProgramStateRef State = N->getState(); in performTrivialCopy()
590 ProgramStateRef State = Pred->getState(); in handleConstructor()
721 if (State != Pred->getState()) { in handleConstructor()
749 ProgramStateRef State = N->getState(); in handleConstructor()
821 Bldr.generateSink(E, N, N->getState()); in handleConstructor()
865 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
880 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
897 Pred->getState(), Pred); in VisitCXXDestructor()
[all …]
H A DBugReporterVisitors.cpp198 SVal StructSVal = N->getState()->getLValue(VD, N->getLocationContext()); in getLocationRegionIfReference()
199 return N->getState()->getLValue(FD, StructSVal).getAsRegion(); in getLocationRegionIfReference()
209 return N->getState()->getLValue(VD, N->getLocationContext()).getAsRegion(); in getLocationRegionIfReference()
234 LLCV->getStore() == LeftNode->getState()->getStore() && in hasVisibleUpdate()
235 RLCV->getStore() == RightNode->getState()->getStore(); in hasVisibleUpdate()
240 ProgramStateRef State = N->getState(); in getSValForVar()
324 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt()
325 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
339 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt()
475 ProgramStateRef State = N->getState(); in VisitNode()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp134 ProgramStateRef getState() const { return state; } in getState() function in __anon4698485f0111::StopTrackingCallback
155 ProgramStateRef state = C.getState(); in checkPostStmt()
177 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()
209 ProgramStateRef state = C.getState(); in checkPostStmt()
230 ProgramStateRef state = C.getState(); in processObjCLiterals()
273 ProgramStateRef State = Pred->getState(); in checkPostStmt()
290 ProgramStateRef State = C.getState(); in checkPostStmt()
372 if (const RefVal *T = getRefBinding(C.getState(), Sym)) in checkPostCall()
450 ProgramStateRef state = C.getState(); in processSummaryOfInlined()
607 ProgramStateRef state = C.getState(); in checkSummary()
[all …]

1234