Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp89 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
102 C.addTransition(State); in evalGetErrno()
118 C.addTransition(StateSuccess); in evalSetErrnoIfError()
119 C.addTransition(StateFailure); in evalSetErrnoIfError()
140 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()
141 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()
161 C.addTransition(StateSuccess, in evalSetErrnoCheckState()
164 C.addTransition(StateFailure1); in evalSetErrnoCheckState()
165 C.addTransition( in evalSetErrnoCheckState()
H A DNullabilityChecker.cpp475 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
491 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
526 C.addTransition(State); in checkDeadSymbols()
594 C.addTransition(State); in checkBeginFunction()
638 Context.addTransition(NewState); in checkLocation()
729 C.addTransition(State); in checkPreStmt()
746 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
762 C.addTransition(State); in checkPreStmt()
840 ExplodedNode *N = C.addTransition(State); in checkPreCall()
852 ExplodedNode *N = C.addTransition(State); in checkPreCall()
[all …]
H A DStreamChecker.cpp914 C.addTransition(StateNotNull, in evalFopen()
916 C.addTransition(StateNull); in evalFopen()
928 C.addTransition(State); in preFreopen()
972 C.addTransition(StateRetNotNull, in evalFreopen()
974 C.addTransition(StateRetNull); in evalFreopen()
990 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFclose()
991 C.addTransition(E.bindReturnValue(State, C, *EofVal)); in evalFclose()
1015 C.addTransition(State); in preRead()
1034 C.addTransition(State); in preWrite()
1134 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFreadFwrite()
[all …]
H A DSmartPtrModeling.cpp339 C.addTransition(State); in evalCall()
365 C.addTransition(State->BindExpr( in evalCall()
393 C.addTransition( in evalCall()
410 C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr, in evalCall()
506 C.addTransition( in handleComparisionOp()
509 C.addTransition( in handleComparisionOp()
512 C.addTransition(State->BindExpr(ResultExpr, LCtx, RetVal)); in handleComparisionOp()
537 C.addTransition(State); in handleOstreamOperator()
553 C.addTransition(State); in checkDeadSymbols()
613 C.addTransition( in handleReset()
[all …]
H A DBuiltinFunctionChecker.cpp81 C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0))); in evalCall()
104 C.addTransition(state); in evalCall()
121 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
149 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DContainerModeling.cpp247 C.addTransition(State); in checkDeadSymbols()
269 C.addTransition(State); in handleBegin()
291 C.addTransition(State); in handleEnd()
367 C.addTransition(State); in handleAssignment()
381 C.addTransition(State); in handleAssign()
402 C.addTransition(State); in handleClear()
410 C.addTransition(State, ChangeTag); in handleClear()
425 C.addTransition(State); in handlePushBack()
449 C.addTransition(State, ChangeTag); in handlePushBack()
489 C.addTransition(State, ChangeTag); in handlePopBack()
[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()
345 C.addTransition(State); in checkDeadSymbols()
512 C.addTransition(State); in processComparison()
525 C.addTransition(StateTrue); in processComparison()
530 C.addTransition(StateFalse); in processComparison()
557 C.addTransition(State); in handleIncrement()
583 C.addTransition(State); in handleDecrement()
[all …]
H A DSetgidSetuidOrderChecker.cpp134 C.addTransition(State, Note); in processSetuid()
139 C.addTransition(State); in processSetuid()
158 C.addTransition(State); in processSetgid()
166 C.addTransition(State); in processOther()
H A DValistChecker.cpp213 if (ExplodedNode *N = C.addTransition(State)) in checkDeadSymbols()
323 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
331 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
344 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
351 C.addTransition(State); in checkVAListStartCall()
374 C.addTransition(State); in checkVAListEndCall()
H A DReturnValueChecker.cpp88 C.addTransition(StTrue, C.getNoteTag(Msg, /*IsPrunable=*/true)); in checkPostCall()
98 C.addTransition(State, C.getNoteTag(Msg, /*IsPrunable=*/true)); in checkPostCall()
H A DCXXSelfAssignmentChecker.cpp62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction()
72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()
H A DPthreadLockChecker.cpp471 C.addTransition(lockFail); in AcquireLockAux()
495 C.addTransition(lockSucc); in AcquireLockAux()
547 C.addTransition(state); in ReleaseLockAux()
590 C.addTransition(State); in DestroyLockAux()
600 C.addTransition(State); in DestroyLockAux()
606 C.addTransition(State); in DestroyLockAux()
642 C.addTransition(State); in InitLockAux()
691 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 DChrootChecker.cpp87 C.addTransition(state); in evalChroot()
113 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 DInnerPointerChecker.cpp144 C.addTransition(State); in markPtrSymbolsReleased()
241 C.addTransition(State); in checkPostCall()
273 C.addTransition(State); in checkDeadSymbols()
H A DVLASizeChecker.cpp296 C.addTransition(State); in checkPreStmt()
308 C.addTransition(State); in checkPreStmt()
333 C.addTransition(State); in checkPreStmt()
H A DMallocChecker.cpp1148 C.addTransition(State); in checkBasicAlloc()
1161 C.addTransition(State); in checkKernelMalloc()
1199 C.addTransition(State); in checkRealloc()
1208 C.addTransition(State); in checkCalloc()
1218 C.addTransition(State); in checkFree()
1227 C.addTransition(State); in checkAlloca()
1238 C.addTransition(State); in checkStrdup()
1249 C.addTransition(State); in checkIfNameIndex()
1258 C.addTransition(State); in checkIfFreeNameIndex()
1299 C.addTransition(State); in checkCXXNewOrCXXDelete()
[all …]
H A DCStringChecker.cpp1460 C.addTransition(stateZeroSize); in evalCopyCommon()
1536 C.addTransition(state); in evalCopyCommon()
1622 C.addTransition(State); in evalMemcmp()
1649 C.addTransition(State); in evalMemcmp()
1664 C.addTransition(State); in evalMemcmp()
1701 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1797 C.addTransition(state); in evalstrLengthCommon()
2060 C.addTransition(StateZeroSize); in evalStrcpyCommon()
2263 C.addTransition(state); in evalStrcpyCommon()
2338 C.addTransition(StSameBuf); in evalStrcmpCommon()
[all …]
H A DSTLAlgorithmModeling.cpp182 C.addTransition(StateFound); in Find()
186 C.addTransition(StateNotFound); in Find()
/freebsd/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/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()
321 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
329 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
334 C.addTransition(State); in checkPostStmt()
484 C.addTransition(state); in processSummaryOfInlined()
703 C.addTransition(St, C.getPredecessor(), &getDeallocSentTag()); in checkSummary()
705 C.addTransition(St); in checkSummary()
[all …]
/freebsd/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/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp179 C.addTransition(State, InvalidationNote); in EnvpInvalidatingCall()
222 ExplodedNode *Node = C.addTransition(State, Note); in postPreviousReturnInvalidatingCall()
230 C.addTransition(State, Node, PreviousCallNote); in postPreviousReturnInvalidatingCall()
265 C.addTransition(State); in checkPostCall()
329 C.addTransition(State->set<MainEnvPtrRegion>(EnvpReg)); in checkBeginFunction()

12