Home
last modified time | relevance | path

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

123

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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.cpp341 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()
614 C.addTransition( in handleReset()
729 C.addTransition(State); in handleGet()
788 C.addTransition( in updateMovedSmartPointers()
866 C.addTransition( in handleBoolConversion()
[all …]
H A DStreamChecker.cpp516 C.addTransition(State); in preFreopen()
582 C.addTransition(State); in evalFclose()
606 C.addTransition(State); in preFread()
625 C.addTransition(State); in preFwrite()
664 C.addTransition(State); in evalFreadFwrite()
728 C.addTransition(State); in preFseek()
790 C.addTransition(State); in evalClearerr()
845 C.addTransition(State); in preDefault()
858 C.addTransition(State); in evalSetFeofFerror()
1014 C.addTransition(State); in reportFEofWarning()
[all …]
H A DBuiltinFunctionChecker.cpp61 C.addTransition(state); in evalCall()
77 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
98 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
126 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DContainerModeling.cpp256 C.addTransition(State); in checkDeadSymbols()
278 C.addTransition(State); in handleBegin()
300 C.addTransition(State); in handleEnd()
376 C.addTransition(State); in handleAssignment()
390 C.addTransition(State); in handleAssign()
434 C.addTransition(State); in handlePushBack()
514 C.addTransition(State); in handlePushFront()
635 C.addTransition(State); in handleErase()
671 C.addTransition(State); in handleErase()
692 C.addTransition(State); in handleEraseAfter()
[all …]
H A DDynamicTypePropagation.cpp246 C.addTransition(State); in checkDeadSymbols()
259 C.addTransition(State); in recordFixedType()
355 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
414 return C.addTransition(State); in dynamicTypePropagationOnCasts()
662 C.addTransition(State, AfterTypeProp); in checkPostStmt()
699 C.addTransition(State, AfterTypeProp); in checkPostStmt()
893 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
940 C.addTransition(State); in checkPostObjCMessage()
963 C.addTransition(State); in checkPostObjCMessage()
1007 Pred = C.addTransition(State); in checkPostObjCMessage()
[all …]
H A DIteratorModeling.cpp211 C.addTransition(State); in checkPostCall()
241 C.addTransition(State); in checkBind()
246 C.addTransition(State); in checkBind()
300 C.addTransition(State); in checkPostStmt()
348 C.addTransition(State); in checkDeadSymbols()
516 C.addTransition(State); in processComparison()
561 C.addTransition(State); in handleIncrement()
587 C.addTransition(State); in handleDecrement()
623 C.addTransition(State); in handleRandomIncrOrDecr()
667 C.addTransition(NewState); in handlePtrIncrOrDecr()
[all …]
H A DObjCSelfInitChecker.cpp122 C.addTransition(state); in addSelfFlag()
255 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
259 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
297 C.addTransition(state); in checkPostCall()
333 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.cpp440 C.addTransition(lockFail); in AcquireLockAux()
464 C.addTransition(lockSucc); in AcquireLockAux()
516 C.addTransition(state); in ReleaseLockAux()
559 C.addTransition(State); in DestroyLockAux()
569 C.addTransition(State); in DestroyLockAux()
575 C.addTransition(State); in DestroyLockAux()
611 C.addTransition(State); in InitLockAux()
660 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()
487 C.addTransition(State); in checkPostCall()
641 C.addTransition(State); in checkPreCall()
667 C.addTransition(State); in checkPreCall()
693 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.cpp85 C.addTransition(state); in evalChroot()
111 C.addTransition(state); in evalChdir()
H A DCastValueChecker.cpp253 C.addTransition( in addCastTransition()
315 C.addTransition( in addInstanceOfTransition()
329 C.addTransition( in addInstanceOfTransition()
359 C.addTransition(State->BindExpr(Call.getOriginExpr(), in evalNullParamNullReturn()
516 C.addTransition(removeDeadCasts(C.getState(), SR)); in checkDeadSymbols()
H A DReturnValueChecker.cpp114 C.addTransition(State, CallTag); in checkPostCall()
161 C.addTransition(State, CallTag); in checkEndFunction()
H A DVLASizeChecker.cpp284 C.addTransition(State); in checkPreStmt()
296 C.addTransition(State); in checkPreStmt()
321 C.addTransition(State); in checkPreStmt()
H A DCStringChecker.cpp1223 C.addTransition(state); in evalCopyCommon()
1301 C.addTransition(State); in evalMemcmp()
1474 C.addTransition(state); in evalstrLengthCommon()
1916 C.addTransition(state); in evalStrcpyCommon()
2067 C.addTransition(state); in evalStrcmpCommon()
2126 C.addTransition(State); in evalStrsep()
2164 C.addTransition(State); in evalStdCopyCommon()
2214 C.addTransition(State); in evalMemset()
2257 C.addTransition(State); in evalBzero()
2349 C.addTransition(state); in checkPreStmt()
[all …]
H A DInnerPointerChecker.cpp155 C.addTransition(State); in markPtrSymbolsReleased()
252 C.addTransition(State); in checkPostCall()
284 C.addTransition(State); in checkDeadSymbols()
H A DSTLAlgorithmModeling.cpp160 C.addTransition(StateFound); in Find()
164 C.addTransition(StateNotFound); in Find()
H A DBlockInCriticalSectionChecker.cpp156 C.addTransition(State); in checkPostCall()
159 C.addTransition(State); in checkPostCall()
/freebsd-13.1/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-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h166 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
196 addTransition(State, generateSink(State, getPredecessor()));
222 return addTransition(State, (Tag ? Tag : Location.getTag()));
238 return addTransition(State, Pred, (Tag ? Tag : Location.getTag()));
/freebsd-13.1/contrib/llvm-project/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()
959 C.addTransition(state); in evalCall()
1146 C.addTransition(state); in checkBind()
1364 Ctx.addTransition(state); in checkBeginFunction()
[all …]

123