Home
last modified time | relevance | path

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

123

/src/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 DDynamicTypePropagation.cpp243 C.addTransition(State); in checkDeadSymbols()
256 C.addTransition(State); in recordFixedType()
342 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
352 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
411 return C.addTransition(State); in dynamicTypePropagationOnCasts()
426 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
659 C.addTransition(State, AfterTypeProp); in checkPostStmt()
678 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()
696 C.addTransition(State, AfterTypeProp); in checkPostStmt()
889 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
[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 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.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 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 DCXXSelfAssignmentChecker.cpp62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction()
72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()
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.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 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 DInnerPointerChecker.cpp144 C.addTransition(State); in markPtrSymbolsReleased()
241 C.addTransition(State); in checkPostCall()
273 C.addTransition(State); in checkDeadSymbols()
/src/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()
/src/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 …]
/src/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()));
/src/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()

123