Home
last modified time | relevance | path

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

123456

/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DNoStateChangeFuncVisitorTest.cpp72 N->getState()->getStateManager().getContext().getSourceManager()); in maybeEmitNoteForParameters()
90 C.addTransition(C.getState()->set<ErrorPrevented>(true)); in checkPreCall()
95 C.addTransition(C.getState()->set<ErrorPrevented>(false)); in checkPreCall()
100 if (C.getState()->get<ErrorPrevented>()) in checkPreCall()
135 return CallEnterN->getState()->get<ErrorPrevented>() != in wasModifiedInFunction()
136 CallExitEndN->getState()->get<ErrorPrevented>(); in wasModifiedInFunction()
229 return CurrN->getState()->get<ErrorPrevented>() != in wasModifiedBeforeCallExit()
230 CallExitBeginN->getState()->get<ErrorPrevented>(); in wasModifiedBeforeCallExit()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DObjCSuperDeallocChecker.cpp85 ProgramStateRef State = C.getState(); in checkPreObjCMessage()
118 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
136 ProgramStateRef State = C.getState(); in checkLocation()
202 ProgramStateRef State = C.getState(); in diagnoseCallArguments()
240 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
253 ProgramStateRef State = Succ->getState(); in VisitNode()
256 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); in VisitNode()
258 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
H A DVforkChecker.cpp124 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug()
148 ProgramStateRef State = C.getState(); in checkPostCall()
177 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()
187 ProgramStateRef State = C.getState(); in checkPreCall()
196 ProgramStateRef State = C.getState(); in checkBind()
213 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DInvalidatedIteratorChecker.cpp80 ProgramStateRef State = C.getState(); in checkPreStmt()
91 ProgramStateRef State = C.getState(); in checkPreStmt()
102 ProgramStateRef State = C.getState(); in checkPreStmt()
112 ProgramStateRef State = C.getState(); in checkPreStmt()
118 auto State = C.getState(); in verifyAccess()
H A DValistChecker.cpp147 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
179 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); in getVAListAsRegion()
189 ProgramStateRef State = C.getState(); in checkPreStmt()
206 ProgramStateRef State = C.getState(); in checkDeadSymbols()
233 ProgramStateRef State = N->getState(); in getStartCallSite()
317 ProgramStateRef State = C.getState(); in checkVAListStartCall()
369 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
374 ProgramStateRef State = C.getState(); in checkVAListEndCall()
381 ProgramStateRef State = N->getState(); in VisitNode()
382 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
H A DPointerArithChecker.cpp108 ProgramStateRef State = C.getState(); in getPointedRegion()
130 ProgramStateRef State = C.getState(); in getArrayRegion()
155 ProgramStateRef State = C.getState(); in reportPointerArithMisuse()
219 ProgramStateRef State = C.getState(); in checkPostStmt()
248 ProgramStateRef State = C.getState(); in checkPostStmt()
263 ProgramStateRef State = C.getState(); in checkPostStmt()
281 ProgramStateRef State = C.getState(); in checkPreStmt()
325 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DErrnoTesterChecker.cpp86 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
92 ProgramStateRef State = C.getState(); in evalGetErrno()
104 ProgramStateRef State = C.getState(); in evalSetErrnoIfError()
121 ProgramStateRef State = C.getState(); in evalSetErrnoIfErrorRange()
143 ProgramStateRef State = C.getState(); in evalSetErrnoCheckState()
H A DMIGChecker.cpp192 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); in checkPostCall()
207 ProgramStateRef State = C.getState(); in checkPostCall()
229 ProgramStateRef State = C.getState(); in mayBeSuccess()
240 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
268 ProgramStateRef State = C.getState(); in checkReturnAux()
H A DReturnValueChecker.cpp80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
82 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()
113 ProgramStateRef State = C.getState(); in checkPostCall()
128 ProgramStateRef State = C.getState(); in checkEndFunction()
H A DExprInspectionChecker.cpp138 ProgramStateRef State = N->getState(); in getArgumentValueString()
272 C.getConstraintManager().printValue(Out, C.getState(), Sym); in printHelper()
329 ProgramStateRef State = C.getState(); in analyzerGetExtent()
343 getDynamicExtent(C.getState(), MR, C.getSValBuilder()); in analyzerDumpExtent()
370 C.getState()->dump(); in analyzerPrintState()
384 ProgramStateRef State = C.getState(); in analyzerWarnOnDeadSymbol()
391 ProgramStateRef State = C.getState(); in checkDeadSymbols()
462 ProgramStateRef State = C.getState(); in analyzerDenote()
464 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); in analyzerDenote()
538 SymbolExpressor V(C.getState()); in analyzerExpress()
[all …]
H A DObjCSelfInitChecker.cpp114 return getSelfFlags(val, C.getState()); in getSelfFlags()
149 if (!C.getState()->get<CalledInit>()) in checkForInvalidSelf()
179 ProgramStateRef state = C.getState(); in checkPostObjCMessage()
245 ProgramStateRef state = C.getState(); in checkPreCall()
274 ProgramStateRef state = C.getState(); in checkPostCall()
311 ProgramStateRef state = C.getState(); in checkLocation()
331 ProgramStateRef State = C.getState(); in checkBind()
H A DStreamChecker.cpp444 State = N->getState(); in getAcquisitionSite()
481 ProgramStateRef State = C.getState(); in evalFopen()
511 ProgramStateRef State = C.getState(); in preFreopen()
523 ProgramStateRef State = C.getState(); in evalFreopen()
568 ProgramStateRef State = C.getState(); in evalFclose()
589 ProgramStateRef State = C.getState(); in preFread()
614 ProgramStateRef State = C.getState(); in preFwrite()
633 ProgramStateRef State = C.getState(); in evalFreadFwrite()
712 ProgramStateRef State = C.getState(); in preFseek()
730 ProgramStateRef State = C.getState(); in evalFseek()
[all …]
H A DErrnoChecker.cpp135 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 Optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()
211 generateErrnoNotCheckedBug(C, setErrnoStateIrrelevant(C.getState()), in checkPreCall()
H A DNoReturnFunctionChecker.cpp84 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
93 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
139 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
H A DIteratorRangeChecker.cpp149 ProgramStateRef State = C.getState(); in checkPreStmt()
164 ProgramStateRef State = C.getState(); in checkPreStmt()
181 ProgramStateRef State = C.getState(); in checkPreStmt()
191 ProgramStateRef State = C.getState(); in checkPreStmt()
198 auto State = C.getState(); in verifyDereference()
224 auto State = C.getState(); in verifyRandomIncrOrDecr()
284 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp24 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
53 ProgramStateRef state = Pred->getState(); in populateObjCForDestinationSet()
113 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt()
152 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage()
189 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
244 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
263 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
H A DExprEngineC.cpp55 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
138 state = (*I)->getState(); in VisitBinaryOperator()
206 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
551 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
603 ProgramStateRef state = N->getState(); in VisitDeclStmt()
668 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
733 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
746 ProgramStateRef state = Pred->getState(); in VisitInitListExpr()
797 ProgramStateRef state = Pred->getState(); in VisitGuardedExpr()
814 SrcState = N->getState(); in VisitGuardedExpr()
[all …]
H A DExprEngine.cpp1000 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
1066 ProgramStateRef State = I->getState(); in ProcessInitializer()
1126 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
1158 ProgramStateRef State = Pred->getState(); in ProcessDeleteDtor()
2158 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
2166 if(isUnrolledState(Pred->getState())) in processCFGBlockEntrance()
2355 ProgramStateRef State = N->getState(); in assumeCondition()
2594 if (State != Pred->getState()) { in processEndOfFunction()
3321 state = I->getState(); in evalLoad()
3352 if (Pred->getState() != state) { in evalLocation()
[all …]
H A DCallEvent.cpp73 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
236 ProgramStateRef Result = (Orig ? Orig : getState()); in invalidateRegions()
330 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
489 Engine.computeObjectUnderConstruction(getOriginExpr(), getState(), in getReturnValueUnderConstruction()
559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
704 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
759 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
835 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
951 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal()
965 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in isReceiverSelfOrSuper()
[all …]
H A DBugReporterVisitors.cpp168 return N->getState() in getLocationRegionIfReference()
211 ProgramStateRef State = N->getState(); in getSValForVar()
294 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt()
445 ProgramStateRef State = N->getState(); in VisitNode()
933 ProgramStateRef State = N->getState(); in matchAssignment()
1014 ProgramStateRef State = N->getState(); in visitNodeInitial()
1140 ProgramStateRef State = N->getState(); in visitNodeMaybeUnsuppress()
1448 if (Succ->getState()->getSVal(R) != V) in VisitNode()
2106 if (LVNode->getState() in handle()
2516 ProgramStateRef state = N->getState(); in getNilReceiver()
[all …]
H A DExprEngineCXX.cpp31 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
78 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
88 ProgramStateRef State = (*I)->getState(); in performTrivialCopy()
554 ProgramStateRef State = Pred->getState(); in handleConstructor()
663 if (State != Pred->getState()) { in handleConstructor()
810 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
871 ProgramStateRef State = Pred->getState(); in VisitCXXNewAllocatorCall()
906 ProgramStateRef State = I->getState(); in VisitCXXNewAllocatorCall()
950 ProgramStateRef State = Pred->getState(); in VisitCXXNewExpr()
1029 State = Pred->getState(); in VisitCXXNewExpr()
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h51 assert(Pred->getState() && in Eng()
71 const ProgramStateRef &getState() const { return Pred->getState(); } in getState() function
170 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
190 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
197 State = getState();
393 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
/llvm-project-15.0.7/llvm/unittests/Support/
H A DLockFileManagerTest.cpp30 EXPECT_EQ(LockFileManager::LFS_Owned, Locked1.getState()); in TEST()
35 EXPECT_NE(LockFileManager::LFS_Owned, Locked2.getState()); in TEST()
71 EXPECT_EQ(LockFileManager::LFS_Owned, Locked.getState()); in TEST()
96 EXPECT_EQ(LockFileManager::LFS_Owned, Locked.getState()); in TEST()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp95 ProgramStateRef State = C.getState(); in REGISTER_SET_WITH_PROGRAMSTATE()
116 ProgramStateRef State = C.getState(); in postPreviousReturnInvalidatingCall()
200 ProgramStateRef State = C.getState(); in checkPostCall()
238 ProgramStateRef State = C.getState(); in checkBeginFunction()
250 ProgramStateRef State = C.getState(); in checkLocation()

123456