Home
last modified time | relevance | path

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

12345

/freebsd-14.2/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 DVforkChecker.cpp125 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug()
145 ProgramStateRef State = C.getState(); in checkPostCall()
174 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()
184 ProgramStateRef State = C.getState(); in checkPreCall()
193 ProgramStateRef State = C.getState(); in checkBind()
210 ProgramStateRef State = C.getState(); in checkPreStmt()
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.cpp146 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
178 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); in getVAListAsRegion()
188 ProgramStateRef State = C.getState(); in checkPreStmt()
205 ProgramStateRef State = C.getState(); in checkDeadSymbols()
232 ProgramStateRef State = N->getState(); in getStartCallSite()
316 ProgramStateRef State = C.getState(); in checkVAListStartCall()
368 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
373 ProgramStateRef State = C.getState(); in checkVAListEndCall()
380 ProgramStateRef State = N->getState(); in VisitNode()
381 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()
213 ProgramStateRef State = C.getState(); in checkPostStmt()
242 ProgramStateRef State = C.getState(); in checkPostStmt()
257 ProgramStateRef State = C.getState(); in checkPostStmt()
275 ProgramStateRef State = C.getState(); in checkPreStmt()
319 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DErrnoTesterChecker.cpp87 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
93 ProgramStateRef State = C.getState(); in evalGetErrno()
105 ProgramStateRef State = C.getState(); in evalSetErrnoIfError()
122 ProgramStateRef State = C.getState(); in evalSetErrnoIfErrorRange()
144 ProgramStateRef State = C.getState(); in evalSetErrnoCheckState()
H A DMIGChecker.cpp193 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 DReturnValueChecker.cpp80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
82 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()
114 ProgramStateRef State = C.getState(); in checkPostCall()
129 ProgramStateRef State = C.getState(); in checkEndFunction()
H A DExprInspectionChecker.cpp140 ProgramStateRef State = N->getState(); in getArgumentValueString()
271 C.getConstraintManager().printValue(Out, C.getState(), Sym); in printHelper()
328 ProgramStateRef State = C.getState(); in analyzerGetExtent()
341 ProgramStateRef State = C.getState(); in analyzerDumpExtent()
362 C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy); in analyzerDumpElementCount()
368 C.getState()->dump(); in analyzerPrintState()
382 ProgramStateRef State = C.getState(); in analyzerWarnOnDeadSymbol()
389 ProgramStateRef State = C.getState(); in checkDeadSymbols()
459 ProgramStateRef State = C.getState(); in analyzerDenote()
461 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); in analyzerDenote()
[all …]
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.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 DStreamChecker.cpp537 State = N->getState(); in getAcquisitionSite()
576 ProgramStateRef State = C.getState(); in evalFopen()
606 ProgramStateRef State = C.getState(); in preFreopen()
618 ProgramStateRef State = C.getState(); in evalFreopen()
663 ProgramStateRef State = C.getState(); in evalFclose()
698 ProgramStateRef State = C.getState(); in preReadWrite()
729 ProgramStateRef State = C.getState(); in evalFreadFwrite()
808 ProgramStateRef State = C.getState(); in evalFgetx()
894 ProgramStateRef State = C.getState(); in evalFputx()
953 ProgramStateRef State = C.getState(); in evalFprintf()
[all …]
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 DMallocChecker.cpp1212 ProgramStateRef State = C.getState(); in evalMulForBufferSize()
1220 ProgramStateRef State = C.getState(); in checkBasicAlloc()
1229 ProgramStateRef State = C.getState(); in checkKernelMalloc()
1278 ProgramStateRef State = C.getState(); in checkRealloc()
1286 ProgramStateRef State = C.getState(); in checkCalloc()
1294 ProgramStateRef State = C.getState(); in checkFree()
1305 ProgramStateRef State = C.getState(); in checkAlloca()
1314 ProgramStateRef State = C.getState(); in checkStrdup()
1325 ProgramStateRef State = C.getState(); in checkIfNameIndex()
1336 ProgramStateRef State = C.getState(); in checkIfFreeNameIndex()
[all …]
H A DIteratorRangeChecker.cpp143 ProgramStateRef State = C.getState(); in checkPreStmt()
158 ProgramStateRef State = C.getState(); in checkPreStmt()
175 ProgramStateRef State = C.getState(); in checkPreStmt()
185 ProgramStateRef State = C.getState(); in checkPreStmt()
192 auto State = C.getState(); in verifyDereference()
218 auto State = C.getState(); in verifyRandomIncrOrDecr()
278 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
H A DIteratorModeling.cpp197 auto State = C.getState(); in checkPostCall()
236 auto State = C.getState(); in checkBind()
294 auto State = C.getState(); in checkPostStmt()
323 auto State = C.getState(); in checkDeadSymbols()
452 auto State = C.getState(); in handleComparison()
537 auto State = C.getState(); in handleIncrement()
563 auto State = C.getState(); in handleDecrement()
591 auto State = C.getState(); in handleRandomIncrOrDecr()
635 ProgramStateRef State = C.getState(); in handlePtrIncrOrDecr()
688 auto State = C.getState(); in assignToContainer()
[all …]
H A DChrootChecker.cpp80 ProgramStateRef state = C.getState(); in evalChroot()
90 ProgramStateRef state = C.getState(); in evalChdir()
123 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag()); in checkPreCall()
/freebsd-14.2/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-14.2/contrib/llvm-project/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 ME, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitObjCMessage()
202 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
257 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
276 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
H A DExprEngineC.cpp56 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
137 state = N->getState(); in VisitBinaryOperator()
204 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
543 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
595 ProgramStateRef state = N->getState(); in VisitDeclStmt()
660 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
725 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
806 SrcState = N->getState(); in VisitGuardedExpr()
896 ProgramStateRef state = N->getState(); in VisitUnaryExprOrTypeTraitExpr()
916 ProgramStateRef state = N->getState(); in handleUOExtension()
[all …]
H A DExprEngine.cpp1171 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
1245 ProgramStateRef State = I->getState(); in ProcessInitializer()
1344 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
1412 ProgramStateRef State = Pred->getState(); in ProcessDeleteDtor()
2502 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
2510 if(isUnrolledState(Pred->getState())) in processCFGBlockEntrance()
2697 ProgramStateRef State = N->getState(); in assumeCondition()
2936 if (State != Pred->getState()) { in processEndOfFunction()
3672 state = I->getState(); in evalLoad()
3703 if (Pred->getState() != state) { in evalLocation()
[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()
548 getOriginExpr(), getState(), &Engine.getBuilderContext(), in getReturnValueUnderConstruction()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
767 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
823 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1015 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal()
1029 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in isReceiverSelfOrSuper()
[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()
865 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
926 ProgramStateRef State = Pred->getState(); in VisitCXXNewAllocatorCall()
961 ProgramStateRef State = I->getState(); in VisitCXXNewAllocatorCall()
1010 ProgramStateRef State = Pred->getState(); in VisitCXXNewExpr()
1089 State = Pred->getState(); in VisitCXXNewExpr()
[all …]
H A DBugReporterVisitors.cpp236 ProgramStateRef State = N->getState(); in getSValForVar()
320 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt()
471 ProgramStateRef State = N->getState(); in VisitNode()
756 ProgramStateRef State = N->getState(); in maybeEmitNoteForParameters()
959 ProgramStateRef State = N->getState(); in matchAssignment()
1040 ProgramStateRef State = N->getState(); in visitNodeInitial()
1166 ProgramStateRef State = N->getState(); in visitNodeMaybeUnsuppress()
1556 if (Succ->getState()->getSVal(R) != V) in VisitNode()
2283 if (LVNode->getState() in handle()
2712 ProgramStateRef state = N->getState(); in getNilReceiver()
[all …]
/freebsd-14.2/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();
410 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))

12345