Home
last modified time | relevance | path

Searched refs:addTransition (Results 1 – 25 of 68) sorted by relevance

123

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp87 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
100 C.addTransition(State); in evalGetErrno()
116 C.addTransition(StateSuccess); in evalSetErrnoIfError()
117 C.addTransition(StateFailure); in evalSetErrnoIfError()
138 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()
139 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()
159 C.addTransition(StateSuccess, in evalSetErrnoCheckState()
162 C.addTransition(StateFailure1); in evalSetErrnoCheckState()
163 C.addTransition( in evalSetErrnoCheckState()
H A DStreamChecker.cpp600 C.addTransition(StateNull); in evalFopen()
612 C.addTransition(State); in preFreopen()
712 C.addTransition(State); in preReadWrite()
722 C.addTransition(State); in preReadWrite()
762 C.addTransition(State); in evalFreadFwrite()
1166 C.addTransition(State); in preFseek()
1343 C.addTransition(State); in evalRewind()
1364 C.addTransition(State); in evalClearerr()
1419 C.addTransition(State); in preDefault()
1432 C.addTransition(State); in evalSetFeofFerror()
[all …]
H A DNullabilityChecker.cpp526 C.addTransition(State); in checkDeadSymbols()
594 C.addTransition(State); in checkBeginFunction()
729 C.addTransition(State); in checkPreStmt()
762 C.addTransition(State); in checkPreStmt()
863 C.addTransition(State); in checkPreCall()
895 C.addTransition(State); in checkPostCall()
913 C.addTransition(State); in checkPostCall()
1121 C.addTransition(State); in checkPostObjCMessage()
1172 C.addTransition(State); in checkPostStmt()
1179 C.addTransition(State); in checkPostStmt()
[all …]
H A DSmartPtrModeling.cpp339 C.addTransition(State); in evalCall()
393 C.addTransition( in evalCall()
506 C.addTransition( in handleComparisionOp()
509 C.addTransition( in handleComparisionOp()
537 C.addTransition(State); in handleOstreamOperator()
553 C.addTransition(State); in checkDeadSymbols()
613 C.addTransition( in handleReset()
729 C.addTransition(State); in handleGet()
792 C.addTransition( in updateMovedSmartPointers()
873 C.addTransition( in handleBoolConversion()
[all …]
H A DBuiltinFunctionChecker.cpp61 C.addTransition(state); in evalCall()
78 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
97 C.addTransition(state->BindExpr(CE, LCtx, R)); in evalCall()
125 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DContainerModeling.cpp242 C.addTransition(State); in checkDeadSymbols()
264 C.addTransition(State); in handleBegin()
286 C.addTransition(State); in handleEnd()
362 C.addTransition(State); in handleAssignment()
376 C.addTransition(State); in handleAssign()
420 C.addTransition(State); in handlePushBack()
500 C.addTransition(State); in handlePushFront()
621 C.addTransition(State); in handleErase()
657 C.addTransition(State); in handleErase()
678 C.addTransition(State); in handleEraseAfter()
[all …]
H A DDynamicTypePropagation.cpp243 C.addTransition(State); in checkDeadSymbols()
256 C.addTransition(State); in recordFixedType()
352 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
411 return C.addTransition(State); in dynamicTypePropagationOnCasts()
659 C.addTransition(State, AfterTypeProp); in checkPostStmt()
696 C.addTransition(State, AfterTypeProp); in checkPostStmt()
889 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
936 C.addTransition(State); in checkPostObjCMessage()
959 C.addTransition(State); in checkPostObjCMessage()
1003 Pred = C.addTransition(State); in checkPostObjCMessage()
[all …]
H A DIteratorModeling.cpp210 C.addTransition(State); in checkPostCall()
240 C.addTransition(State); in checkBind()
245 C.addTransition(State); in checkBind()
299 C.addTransition(State); in checkPostStmt()
344 C.addTransition(State); in checkDeadSymbols()
511 C.addTransition(State); in processComparison()
556 C.addTransition(State); in handleIncrement()
582 C.addTransition(State); in handleDecrement()
617 C.addTransition(State); in handleRandomIncrOrDecr()
661 C.addTransition(NewState); in handlePtrIncrOrDecr()
[all …]
H A DObjCSelfInitChecker.cpp123 C.addTransition(state); in addSelfFlag()
254 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
258 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
296 C.addTransition(state); in checkPostCall()
332 C.addTransition(State); in checkBind()
H A DValistChecker.cpp214 if (ExplodedNode *N = C.addTransition(State)) in checkDeadSymbols()
324 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
332 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
345 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
352 C.addTransition(State); in checkVAListStartCall()
375 C.addTransition(State); in checkVAListEndCall()
H A DCXXSelfAssignmentChecker.cpp62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction()
72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()
H A DPthreadLockChecker.cpp442 C.addTransition(lockFail); in AcquireLockAux()
466 C.addTransition(lockSucc); in AcquireLockAux()
518 C.addTransition(state); in ReleaseLockAux()
561 C.addTransition(State); in DestroyLockAux()
571 C.addTransition(State); in DestroyLockAux()
577 C.addTransition(State); in DestroyLockAux()
613 C.addTransition(State); in InitLockAux()
662 C.addTransition(State); in checkDeadSymbols()
H A DMoveChecker.cpp365 C.addTransition(State); in modelUse()
376 C.addTransition(State); in modelUse()
388 C.addTransition(State, N); in modelUse()
488 C.addTransition(State); in checkPostCall()
643 C.addTransition(State); in checkPreCall()
669 C.addTransition(State); in checkPreCall()
695 C.addTransition(State); in checkDeadSymbols()
H A DTrustNonnullChecker.cpp91 C.addTransition(State); in checkPostCall()
129 C.addTransition(State); in checkPostObjCMessage()
138 C.addTransition(State); in checkDeadSymbols()
H A DPointerArithChecker.cpp231 C.addTransition(State); in checkPostStmt()
248 C.addTransition(State); in checkPostStmt()
266 C.addTransition(State); in checkPostStmt()
287 C.addTransition(State); in checkPreStmt()
H A DChrootChecker.cpp86 C.addTransition(state); in evalChroot()
112 C.addTransition(state); in evalChdir()
H A DCastValueChecker.cpp254 C.addTransition( in addCastTransition()
316 C.addTransition( in addInstanceOfTransition()
330 C.addTransition( in addInstanceOfTransition()
360 C.addTransition(State->BindExpr(Call.getOriginExpr(), in evalNullParamNullReturn()
519 C.addTransition(removeDeadCasts(C.getState(), SR)); in checkDeadSymbols()
H A DReturnValueChecker.cpp116 C.addTransition(State, CallTag); in checkPostCall()
164 C.addTransition(State, CallTag); in checkEndFunction()
H A DBlockInCriticalSectionChecker.cpp127 C.addTransition(State); in checkPostCall()
130 C.addTransition(State); in checkPostCall()
H A DMacOSKeychainAPIChecker.cpp372 C.addTransition(State); in checkPreStmt()
391 C.addTransition(State); in checkPreStmt()
435 C.addTransition(State); in checkPostStmt()
556 C.addTransition(State); in checkDeadSymbols()
570 C.addTransition(State, N); in checkDeadSymbols()
H A DVLASizeChecker.cpp296 C.addTransition(State); in checkPreStmt()
308 C.addTransition(State); in checkPreStmt()
333 C.addTransition(State); in checkPreStmt()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
53 Ctx.addTransition(State); in checkDoubleNonblocking()
95 Ctx.addTransition(State); in checkUnmatchedWaits()
97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits()
129 Ctx.addTransition(State); in checkMissingWaits()
131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp178 C.addTransition(state); in checkPostStmt()
225 C.addTransition(state); in checkPostStmt()
255 C.addTransition(state); in processObjCLiterals()
281 C.addTransition(State); in checkPostStmt()
334 C.addTransition(State); in checkPostStmt()
484 C.addTransition(state); in processSummaryOfInlined()
705 C.addTransition(St); in checkSummary()
959 C.addTransition(state); in evalCall()
1146 C.addTransition(state); in checkBind()
1364 Ctx.addTransition(state); in checkBeginFunction()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h169 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
181 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
199 addTransition(State, generateSink(State, getPredecessor()));
241 return addTransition(State, (Tag ? Tag : Location.getTag()));
257 return addTransition(State, Pred, (Tag ? Tag : Location.getTag()));
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp174 C.addTransition(State, InvalidationNote); in EnvpInvalidatingCall()
217 ExplodedNode *Node = C.addTransition(State, Note); in postPreviousReturnInvalidatingCall()
225 C.addTransition(State, Node, PreviousCallNote); in postPreviousReturnInvalidatingCall()
260 C.addTransition(State); in checkPostCall()
324 C.addTransition(State->set<MainEnvPtrRegion>(EnvpReg)); in checkBeginFunction()

123