Home
last modified time | relevance | path

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

12

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp471 C.addTransition(State); in checkDeadSymbols()
603 C.addTransition(State); in checkPreStmt()
637 C.addTransition(State); in checkPreStmt()
741 C.addTransition(State); in checkPreCall()
773 C.addTransition(State); in checkPostCall()
783 C.addTransition(State); in checkPostCall()
926 C.addTransition(State); in checkPostObjCMessage()
977 C.addTransition(State); in checkPostStmt()
984 C.addTransition(State); in checkPostStmt()
1123 C.addTransition(State); in checkBind()
[all …]
H A DBuiltinFunctionChecker.cpp58 C.addTransition(state); in evalCall()
72 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
95 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
114 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DDynamicTypePropagation.cpp136 C.addTransition(State); in checkDeadSymbols()
149 C.addTransition(State); in recordFixedType()
236 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
295 return C.addTransition(State); in dynamicTypePropagationOnCasts()
310 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
577 C.addTransition(State, AfterTypeProp); in checkPostStmt()
614 C.addTransition(State, AfterTypeProp); in checkPostStmt()
808 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
850 C.addTransition(State); in checkPostObjCMessage()
892 Pred = C.addTransition(State); in checkPostObjCMessage()
[all …]
H A DPthreadLockChecker.cpp270 C.addTransition(lockFail); in AcquireLock()
286 C.addTransition(lockSucc); in AcquireLock()
344 C.addTransition(state); in ReleaseLock()
369 C.addTransition(State); in DestroyLock()
379 C.addTransition(State); in DestroyLock()
385 C.addTransition(State); in DestroyLock()
424 C.addTransition(State); in InitLock()
478 C.addTransition(State); in checkDeadSymbols()
H A DObjCSelfInitChecker.cpp123 C.addTransition(state); in addSelfFlag()
256 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
260 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
298 C.addTransition(state); in checkPostCall()
334 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 DCXXSelfAssignmentChecker.cpp55 C.addTransition(SelfAssignState); in checkBeginFunction()
57 C.addTransition(NonSelfAssignState); in checkBeginFunction()
H A DIteratorChecker.cpp768 C.addTransition(State); in checkPostStmt()
849 C.addTransition(State); in checkDeadSymbols()
1039 C.addTransition(State); in handleRandomIncrOrDecr()
1149 C.addTransition(State); in handleBegin()
1173 C.addTransition(State); in handleEnd()
1188 C.addTransition(State); in assignToContainer()
1264 C.addTransition(State); in handleAssign()
1290 C.addTransition(State); in handleClear()
1328 C.addTransition(State); in handlePushBack()
1485 C.addTransition(State); in handleErase()
[all …]
H A DMoveChecker.cpp347 C.addTransition(State); in modelUse()
358 C.addTransition(State); in modelUse()
370 C.addTransition(State, N); in modelUse()
474 C.addTransition(State); in checkPostCall()
628 C.addTransition(State); in checkPreCall()
654 C.addTransition(State); in checkPreCall()
680 C.addTransition(State); in checkDeadSymbols()
H A DTrustNonnullChecker.cpp93 C.addTransition(State); in checkPostCall()
131 C.addTransition(State); in checkPostObjCMessage()
140 C.addTransition(State); in checkDeadSymbols()
H A DPointerArithChecker.cpp238 C.addTransition(State); in checkPostStmt()
255 C.addTransition(State); in checkPostStmt()
273 C.addTransition(State); in checkPostStmt()
294 C.addTransition(State); in checkPreStmt()
H A DCStringChecker.cpp1198 C.addTransition(state); in evalCopyCommon()
1277 C.addTransition(state); in evalMemcmp()
1458 C.addTransition(state); in evalstrLengthCommon()
1880 C.addTransition(state); in evalStrcpyCommon()
2041 C.addTransition(state); in evalStrcmpCommon()
2102 C.addTransition(State); in evalStrsep()
2140 C.addTransition(State); in evalStdCopyCommon()
2191 C.addTransition(State); in evalMemset()
2237 C.addTransition(State); in evalBzero()
2386 C.addTransition(state); in checkPreStmt()
[all …]
H A DChrootChecker.cpp94 C.addTransition(state); in Chroot()
120 C.addTransition(state); in Chdir()
H A DExprInspectionChecker.cpp235 C.addTransition(State); in analyzerGetExtent()
254 C.addTransition(State); in analyzerWarnOnDeadSymbol()
279 C.addTransition(State, N); in checkDeadSymbols()
332 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); in analyzerDenote()
H A DInnerPointerChecker.cpp146 C.addTransition(State); in markPtrSymbolsReleased()
219 C.addTransition(State); in checkPostCall()
257 C.addTransition(State); in checkDeadSymbols()
H A DBlockInCriticalSectionChecker.cpp157 C.addTransition(State); in checkPostCall()
160 C.addTransition(State); in checkPostCall()
H A DCallAndMessageChecker.cpp349 C.addTransition(StNonNull); in checkPreStmt()
461 C.addTransition(State); in checkPreCall()
566 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
604 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
608 C.addTransition(state); in HandleNilReceiver()
H A DMacOSKeychainAPIChecker.cpp377 C.addTransition(State); in checkPreStmt()
396 C.addTransition(State); in checkPreStmt()
440 C.addTransition(State); in checkPostStmt()
562 C.addTransition(State); in checkDeadSymbols()
576 C.addTransition(State, N); in checkDeadSymbols()
H A DVforkChecker.cpp177 C.addTransition(ParentState); in checkPostCall()
179 C.addTransition(ChildState); in checkPostCall()
H A DGTestChecker.cpp150 C.addTransition(State); in modelAssertionResultBoolConstructor()
178 C.addTransition(State); in modelAssertionResultCopyConstructor()
H A DSimpleStreamChecker.cpp134 C.addTransition(State); in checkPostCall()
160 C.addTransition(State); in checkPreCall()
H A DVirtualCallChecker.cpp239 C.addTransition(State); in registerCtorDtorCallInState()
253 C.addTransition(State); in registerCtorDtorCallInState()
/freebsd-12.1/contrib/llvm/tools/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-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp242 C.addTransition(state); in checkPostStmt()
281 C.addTransition(state); in checkPostStmt()
311 C.addTransition(state); in processObjCLiterals()
337 C.addTransition(State); in checkPostStmt()
390 C.addTransition(State); in checkPostStmt()
529 C.addTransition(state); in processSummaryOfInlined()
722 C.addTransition(St); in checkSummary()
967 C.addTransition(state); in evalCall()
1180 C.addTransition(state); in checkBind()
1412 Ctx.addTransition(state); in checkBeginFunction()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h165 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
177 ExplodedNode *addTransition(ProgramStateRef State,
214 return addTransition(State, (Tag ? Tag : Location.getTag()));

12