Home
last modified time | relevance | path

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

123

/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()
139 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()
140 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()
160 C.addTransition(StateSuccess, in evalSetErrnoCheckState()
163 C.addTransition(StateFailure1); in evalSetErrnoCheckState()
164 C.addTransition( in evalSetErrnoCheckState()
H A DNullabilityChecker.cpp472 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
488 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
523 C.addTransition(State); in checkDeadSymbols()
591 C.addTransition(State); in checkBeginFunction()
635 Context.addTransition(NewState); in checkLocation()
732 C.addTransition(State); in checkPreStmt()
748 ExplodedNode *N = C.addTransition(State, C.getPredecessor()); in checkPreStmt()
764 C.addTransition(State); in checkPreStmt()
841 ExplodedNode *N = C.addTransition(State); in checkPreCall()
853 ExplodedNode *N = C.addTransition(State); in checkPreCall()
[all …]
H A DStreamChecker.cpp953 C.addTransition(StateNotNull, in evalFopen()
955 C.addTransition(StateNull); in evalFopen()
967 C.addTransition(State); in preFreopen()
1011 C.addTransition(StateRetNotNull, in evalFreopen()
1013 C.addTransition(StateRetNull); in evalFreopen()
1029 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFclose()
1030 C.addTransition(E.bindReturnValue(State, C, *EofVal)); in evalFclose()
1054 C.addTransition(State); in preRead()
1073 C.addTransition(State); in preWrite()
1173 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFreadFwrite()
[all …]
H A DSmartPtrModeling.cpp336 C.addTransition(State); in evalCall()
362 C.addTransition(State->BindExpr( in evalCall()
390 C.addTransition( in evalCall()
407 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 DContainerModeling.cpp250 C.addTransition(State); in checkDeadSymbols()
272 C.addTransition(State); in handleBegin()
294 C.addTransition(State); in handleEnd()
371 C.addTransition(State); in handleAssignment()
385 C.addTransition(State); in handleAssign()
406 C.addTransition(State); in handleClear()
414 C.addTransition(State, ChangeTag); in handleClear()
429 C.addTransition(State); in handlePushBack()
453 C.addTransition(State, ChangeTag); in handlePushBack()
493 C.addTransition(State, ChangeTag); in handlePopBack()
[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 DIteratorModeling.cpp212 C.addTransition(State); in checkPostCall()
242 C.addTransition(State); in checkBind()
247 C.addTransition(State); in checkBind()
301 C.addTransition(State); in checkPostStmt()
346 C.addTransition(State); in checkDeadSymbols()
516 C.addTransition(State); in processComparison()
529 C.addTransition(StateTrue); in processComparison()
534 C.addTransition(StateFalse); in processComparison()
561 C.addTransition(State); in handleIncrement()
587 C.addTransition(State); in handleDecrement()
[all …]
H A DDynamicTypePropagation.cpp239 C.addTransition(State); in checkDeadSymbols()
252 C.addTransition(State); in recordFixedType()
338 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
348 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
407 return C.addTransition(State); in dynamicTypePropagationOnCasts()
422 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
655 C.addTransition(State, AfterTypeProp); in checkPostStmt()
699 C.addTransition(State, AfterTypeProp); in checkPostStmt()
938 C.addTransition(State); in checkPostObjCMessage()
961 C.addTransition(State); in checkPostObjCMessage()
[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.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 DChrootChecker.cpp86 C.addTransition(ChrootFailed->set<ChrootState>(ROOT_CHANGE_FAILED)); in evalChroot()
89 C.addTransition(ChrootSucceeded->set<ChrootState>(ROOT_CHANGED)); in evalChroot()
107 C.addTransition(State->set<ChrootState>(JAIL_ENTERED)); in evalChdir()
H A DBuiltinFunctionChecker.cpp221 C.addTransition(NewState, createBuiltinOverflowNoteTag( in handleOverflowBuiltin()
228 C.addTransition(NewState, createBuiltinOverflowNoteTag(C, /*overflow=*/true, in handleOverflowBuiltin()
261 C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0))); in evalCall()
313 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
341 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DReturnValueChecker.cpp87 C.addTransition(StTrue, C.getNoteTag(Msg, /*IsPrunable=*/true)); in checkPostCall()
97 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.cpp367 C.addTransition(State); in modelUse()
378 C.addTransition(State); in modelUse()
390 C.addTransition(State, N); in modelUse()
491 C.addTransition(State); in checkPostCall()
647 C.addTransition(State); in checkPreCall()
673 C.addTransition(State); in checkPreCall()
699 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 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 DMallocChecker.cpp1294 C.addTransition(State); in checkBasicAlloc()
1307 C.addTransition(State); in checkKernelMalloc()
1346 C.addTransition(State); in checkRealloc()
1354 C.addTransition(State); in checkCalloc()
1364 C.addTransition(State); in checkFree()
1372 C.addTransition(State); in checkAlloca()
1383 C.addTransition(State); in checkStrdup()
1394 C.addTransition(State); in checkIfNameIndex()
1403 C.addTransition(State); in checkIfFreeNameIndex()
1439 C.addTransition(State); in checkCXXNewOrCXXDelete()
[all …]
H A DMacOSKeychainAPIChecker.cpp371 C.addTransition(State); in checkPreStmt()
390 C.addTransition(State); in checkPreStmt()
434 C.addTransition(State); in checkPostStmt()
555 C.addTransition(State); in checkDeadSymbols()
568 C.addTransition(State, N); in checkDeadSymbols()
H A DVLASizeChecker.cpp293 C.addTransition(State); in checkPreStmt()
305 C.addTransition(State); in checkPreStmt()
330 C.addTransition(State); in checkPreStmt()
/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()
94 Ctx.addTransition(State); in checkUnmatchedWaits()
96 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits()
127 Ctx.addTransition(State); in checkMissingWaits()
129 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp177 C.addTransition(state); in checkPostStmt()
224 C.addTransition(state); in checkPostStmt()
254 C.addTransition(state); in processObjCLiterals()
280 C.addTransition(State); in checkPostStmt()
320 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
328 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
333 C.addTransition(State); in checkPostStmt()
483 C.addTransition(state); in processSummaryOfInlined()
702 C.addTransition(St, C.getPredecessor(), &getDeallocSentTag()); in checkSummary()
704 C.addTransition(St); in checkSummary()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h177 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
192 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
210 addTransition(State, generateSink(State, getPredecessor()));
252 return addTransition(State, (Tag ? Tag : Location.getTag()));
268 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()

123