Home
last modified time | relevance | path

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

12345

/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 DMIGChecker.cpp137 if (VR && VR->hasMemorySpace<StackArgumentsSpaceRegion>(C.getState()) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
196 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 DNoOwnershipChangeVisitor.cpp55 ProgramStateRef State = N->getState(); in getOwnersAtNode()
77 CallExitEndN->getState()->getAnalysisManager().getASTContext())) in wasModifiedInFunction()
80 if (hasResourceStateChanged(CallEnterN->getState(), CallExitEndN->getState())) in wasModifiedInFunction()
H A DExprInspectionChecker.cpp140 ProgramStateRef State = N->getState(); in getArgumentValueString()
260 SValExplainer Ex(C.getASTContext(), C.getState()); in analyzerExplain()
272 C.getConstraintManager().printValue(Out, C.getState(), Sym); in printHelper()
329 ProgramStateRef State = C.getState(); in analyzerGetExtent()
342 ProgramStateRef State = C.getState(); in analyzerDumpExtent()
363 C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy); in analyzerDumpElementCount()
369 C.getState()->dump(); in analyzerPrintState()
383 ProgramStateRef State = C.getState(); in analyzerWarnOnDeadSymbol()
390 ProgramStateRef State = C.getState(); in checkDeadSymbols()
459 ProgramStateRef State = C.getState(); in analyzerDenote()
[all …]
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()
145 ProgramStateRef State = C.getState(); in evalSetErrnoCheckState()
H A DObjCSelfInitChecker.cpp114 return getSelfFlags(val, C.getState()); in getSelfFlags()
149 if (!C.getState()->get<CalledInit>()) in checkForInvalidSelf()
176 ProgramStateRef state = C.getState(); in checkPostObjCMessage()
242 ProgramStateRef state = C.getState(); in checkPreCall()
271 ProgramStateRef state = C.getState(); in checkPostCall()
308 ProgramStateRef state = C.getState(); in checkLocation()
328 ProgramStateRef State = C.getState(); in checkBind()
H A DErrnoChecker.cpp135 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation()
143 ProgramStateRef State = C.getState(); in checkLocation()
208 if (getErrnoState(C.getState()) == MustBeChecked) { in checkPreCall()
209 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()
211 generateErrnoNotCheckedBug(C, setErrnoStateIrrelevant(C.getState()), in checkPreCall()
H A DChrootChecker.cpp78 ProgramStateRef State = C.getState(); in evalChroot()
94 ProgramStateRef State = C.getState(); in evalChdir()
162 if (C.getState()->get<ChrootState>() != ROOT_CHANGED) in checkPreCall()
167 C.generateNonFatalErrorNode(C.getState(), C.getPredecessor()); 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 DStreamChecker.cpp791 N->getState()->getStateManager().getContext().getSourceManager()); in emitNote()
807 ProgramStateRef State = N->getState(); in getAcquisitionSite()
815 State = N->getState(); in getAcquisitionSite()
929 ProgramStateRef State = C.getState(); in evalFopen()
961 ProgramStateRef State = C.getState(); in preFreopen()
973 ProgramStateRef State = C.getState(); in evalFreopen()
1018 ProgramStateRef State = C.getState(); in evalFclose()
1035 ProgramStateRef State = C.getState(); in preRead()
1060 ProgramStateRef State = C.getState(); in preWrite()
1152 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 DMacOSKeychainAPIChecker.cpp205 ProgramStateRef State = C.getState(); in getAsPointeeSymbol()
223 ProgramStateRef State = C.getState(); in generateDeallocatorMismatchReport()
246 ProgramStateRef State = C.getState(); in checkPreStmt()
395 ProgramStateRef State = C.getState(); in checkPostStmt()
449 if (!N->getState()->get<AllocatedData>(Sym)) in getAllocationNode()
533 ProgramStateRef State = C.getState(); in checkDeadSymbols()
559 ExplodedNode *N = C.generateNonFatalErrorNode(C.getState()); in checkDeadSymbols()
613 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym); in VisitNode()
617 N->getFirstPred()->getState()->get<AllocatedData>(Sym); in VisitNode()
H A DBlockInCriticalSectionChecker.cpp107 const auto &ASTCtx = Call.getState()->getStateManager().getContext(); in initIdentifierInfo()
329 C.getState()->add<ActiveCritSections>(MarkToAdd); in handleLock()
341 ProgramStateRef State = C.getState(); in handleUnlock()
366 !C.getState()->get<ActiveCritSections>().isEmpty(); in isBlockingInCritSection()
384 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState()); in reportBlockInCritSection()
402 ProgramStateRef state = C.getState(); in reportBlockInCritSection()
432 BR.getErrorNode()->getState()->get<ActiveCritSections>(); in createCritSectionNote()
H A DIteratorModeling.cpp199 auto State = C.getState(); in checkPostCall()
238 auto State = C.getState(); in checkBind()
266 const ProgramStateRef State = C.getState(); in checkPostStmt()
296 auto State = C.getState(); in checkPostStmt()
325 auto State = C.getState(); in checkDeadSymbols()
457 auto State = C.getState(); in handleComparison()
542 auto State = C.getState(); in handleIncrement()
568 auto State = C.getState(); in handleDecrement()
597 auto State = C.getState(); in handleRandomIncrOrDecr()
642 ProgramStateRef State = C.getState(); in handlePtrIncrOrDecr()
[all …]
H A DTestAfterDivZeroChecker.cpp139 return !CM.assume(C.getState(), *DSV, true); in isZero()
147 ProgramStateRef State = C.getState(); in setDivZeroMap()
160 return C.getState()->contains<DivZeroMap>(ZS); in hasDivZeroMap()
164 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug()
179 ProgramStateRef State = C.getState(); in checkEndFunction()
/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()
85 State = ErrorNode->getState(); in checkUnmatchedWaits()
102 ProgramStateRef State = Ctx.getState(); in checkMissingWaits()
116 State = ErrorNode->getState(); in checkMissingWaits()
163 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp24 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
53 ProgramStateRef state = Pred->getState(); in populateObjCForDestinationSet()
114 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt()
156 ME, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitObjCMessage()
206 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
261 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
280 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
H A DExprEngineC.cpp57 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
140 state = N->getState(); in VisitBinaryOperator()
208 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
294 ProgramStateRef State = Node->getState(); in VisitCast()
306 ProgramStateRef State = Node->getState(); in VisitCast()
316 ProgramStateRef State = Node->getState(); in VisitCast()
343 ProgramStateRef state = Pred->getState(); in VisitCast()
372 ProgramStateRef state = Pred->getState(); in VisitCast()
583 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
635 ProgramStateRef state = N->getState(); in VisitDeclStmt()
[all …]
H A DExprEngine.cpp1046 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
1087 ProgramStateRef CheckerState = I->getState(); in removeDead()
1093 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
1096 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
1150 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit()
1175 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
1246 ProgramStateRef State = I->getState(); in ProcessInitializer()
1333 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
1345 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
1383 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessAutomaticObjDtor()
[all …]
H A DCallEvent.cpp71 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
234 ProgramStateRef Result = (Orig ? Orig : getState()); in invalidateRegions()
331 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
545 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
547 getOriginExpr(), getState(), &Engine.getBuilderContext(), in getReturnValueUnderConstruction()
577 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
617 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
751 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
766 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getDeclForDynamicType()
835 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
[all …]
H A DBugReporterVisitors.cpp194 SVal StructSVal = N->getState()->getLValue(VD, N->getLocationContext()); in getLocationRegionIfReference()
195 return N->getState()->getLValue(FD, StructSVal).getAsRegion(); in getLocationRegionIfReference()
205 return N->getState()->getLValue(VD, N->getLocationContext()).getAsRegion(); in getLocationRegionIfReference()
230 LLCV->getStore() == LeftNode->getState()->getStore() && in hasVisibleUpdate()
231 RLCV->getStore() == RightNode->getState()->getStore(); in hasVisibleUpdate()
236 ProgramStateRef State = N->getState(); in getSValForVar()
320 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt()
321 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
335 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt()
471 ProgramStateRef State = N->getState(); in VisitNode()
[all …]
H A DExprEngineCXX.cpp38 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
82 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
87 evalLocation(Tmp, CallExpr, VExpr, Pred, Pred->getState(), V, in performTrivialCopy()
101 ProgramStateRef State = N->getState(); in performTrivialCopy()
555 ProgramStateRef State = Pred->getState(); in handleConstructor()
687 if (State != Pred->getState()) { in handleConstructor()
715 ProgramStateRef State = N->getState(); in handleConstructor()
791 Bldr.generateSink(E, N, N->getState()); in handleConstructor()
835 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
850 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h52 assert(Pred->getState() && in Eng()
75 const ProgramStateRef &getState() const { return Pred->getState(); } in getState() function
179 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
202 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
209 State = getState();
433 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))

12345