Home
last modified time | relevance | path

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

123

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp86 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
99 C.addTransition(State); in evalGetErrno()
115 C.addTransition(StateSuccess); in evalSetErrnoIfError()
116 C.addTransition(StateFailure); in evalSetErrnoIfError()
137 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()
138 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()
158 C.addTransition(StateSuccess, in evalSetErrnoCheckState()
161 C.addTransition(StateFailure1); in evalSetErrnoCheckState()
162 C.addTransition( in evalSetErrnoCheckState()
H A DNullabilityChecker.cpp473 C.addTransition(State); in checkDeadSymbols()
645 C.addTransition(State); in checkPreStmt()
678 C.addTransition(State); in checkPreStmt()
779 C.addTransition(State); in checkPreCall()
811 C.addTransition(State); in checkPostCall()
821 C.addTransition(State); in checkPostCall()
964 C.addTransition(State); in checkPostObjCMessage()
1015 C.addTransition(State); in checkPostStmt()
1022 C.addTransition(State); in checkPostStmt()
1159 C.addTransition(State); in checkBind()
[all …]
H A DSmartPtrModeling.cpp337 C.addTransition(State); in evalCall()
391 C.addTransition( in evalCall()
504 C.addTransition( in handleComparisionOp()
507 C.addTransition( in handleComparisionOp()
535 C.addTransition(State); in handleOstreamOperator()
551 C.addTransition(State); in checkDeadSymbols()
612 C.addTransition( in handleReset()
728 C.addTransition(State); in handleGet()
791 C.addTransition( in updateMovedSmartPointers()
872 C.addTransition( in handleBoolConversion()
[all …]
H A DStreamChecker.cpp517 C.addTransition(State); in preFreopen()
584 C.addTransition(State); in evalFclose()
608 C.addTransition(State); in preFread()
627 C.addTransition(State); in preFwrite()
666 C.addTransition(State); in evalFreadFwrite()
725 C.addTransition(State); in preFseek()
787 C.addTransition(State); in evalClearerr()
842 C.addTransition(State); in preDefault()
855 C.addTransition(State); in evalSetFeofFerror()
1011 C.addTransition(State); in reportFEofWarning()
[all …]
H A DBuiltinFunctionChecker.cpp61 C.addTransition(state); in evalCall()
78 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
127 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()
890 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
937 C.addTransition(State); in checkPostObjCMessage()
960 C.addTransition(State); in checkPostObjCMessage()
1004 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()
347 C.addTransition(State); in checkDeadSymbols()
515 C.addTransition(State); in processComparison()
560 C.addTransition(State); in handleIncrement()
586 C.addTransition(State); in handleDecrement()
622 C.addTransition(State); in handleRandomIncrOrDecr()
666 C.addTransition(NewState); in handlePtrIncrOrDecr()
[all …]
H A DObjCSelfInitChecker.cpp123 C.addTransition(state); in addSelfFlag()
257 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
261 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
299 C.addTransition(state); in checkPostCall()
335 C.addTransition(State); in checkBind()
H A DValistChecker.cpp215 if (ExplodedNode *N = C.addTransition(State)) in checkDeadSymbols()
325 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
333 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
346 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
353 C.addTransition(State); in checkVAListStartCall()
376 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.cpp441 C.addTransition(lockFail); in AcquireLockAux()
465 C.addTransition(lockSucc); in AcquireLockAux()
517 C.addTransition(state); in ReleaseLockAux()
560 C.addTransition(State); in DestroyLockAux()
570 C.addTransition(State); in DestroyLockAux()
576 C.addTransition(State); in DestroyLockAux()
612 C.addTransition(State); in InitLockAux()
661 C.addTransition(State); in checkDeadSymbols()
H A DMoveChecker.cpp364 C.addTransition(State); in modelUse()
375 C.addTransition(State); in modelUse()
387 C.addTransition(State, N); in modelUse()
486 C.addTransition(State); in checkPostCall()
640 C.addTransition(State); in checkPreCall()
666 C.addTransition(State); in checkPreCall()
692 C.addTransition(State); in checkDeadSymbols()
H A DTrustNonnullChecker.cpp92 C.addTransition(State); in checkPostCall()
130 C.addTransition(State); in checkPostObjCMessage()
139 C.addTransition(State); in checkDeadSymbols()
H A DPointerArithChecker.cpp237 C.addTransition(State); in checkPostStmt()
254 C.addTransition(State); in checkPostStmt()
272 C.addTransition(State); in checkPostStmt()
293 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.cpp115 C.addTransition(State, CallTag); in checkPostCall()
162 C.addTransition(State, CallTag); in checkEndFunction()
H A DErrnoModeling.cpp148 C.addTransition(State); in checkBeginFunction()
176 C.addTransition(State); in checkBeginFunction()
192 C.addTransition(State); in evalCall()
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h168 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
180 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
198 addTransition(State, generateSink(State, getPredecessor()));
224 return addTransition(State, (Tag ? Tag : Location.getTag()));
240 return addTransition(State, Pred, (Tag ? Tag : Location.getTag()));
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp179 C.addTransition(state); in checkPostStmt()
226 C.addTransition(state); in checkPostStmt()
256 C.addTransition(state); in processObjCLiterals()
282 C.addTransition(State); in checkPostStmt()
335 C.addTransition(State); in checkPostStmt()
485 C.addTransition(state); in processSummaryOfInlined()
706 C.addTransition(St); in checkSummary()
960 C.addTransition(state); in evalCall()
1147 C.addTransition(state); in checkBind()
1365 Ctx.addTransition(state); in checkBeginFunction()
[all …]
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DBugReportInterestingnessTest.cpp67 C.addTransition(nullptr, C.getNoteTag([Sym](PathSensitiveBugReport &BR) { in handleInteresting()
77 C.addTransition(nullptr, C.getNoteTag([Sym](PathSensitiveBugReport &BR) { in handleNotInteresting()
87 C.addTransition(nullptr, C.getNoteTag([Sym](PathSensitiveBugReport &BR) { in handleCheck()
H A DNoStateChangeFuncVisitorTest.cpp90 C.addTransition(C.getState()->set<ErrorPrevented>(true)); in checkPreCall()
95 C.addTransition(C.getState()->set<ErrorPrevented>(false)); in checkPreCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp111 C.addTransition(State, Note); in REGISTER_SET_WITH_PROGRAMSTATE()
151 ExplodedNode *Node = C.addTransition(State, Note); in postPreviousReturnInvalidatingCall()
159 C.addTransition(State, Node, PreviousCallNote); in postPreviousReturnInvalidatingCall()
244 C.addTransition(State->set<EnvPtrRegion>(EnvpReg)); in checkBeginFunction()

123