Home
last modified time | relevance | path

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

12345

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DSmartPtrModeling.cpp203 C.addTransition(State->BindExpr( in evalCall()
229 C.addTransition( in evalCall()
246 C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr, in evalCall()
287 C.addTransition(State); in checkDeadSymbols()
348 C.addTransition( in handleReset()
384 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleRelease()
423 C.addTransition( in handleSwap()
461 C.addTransition(State); in handleGet()
485 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
520 C.addTransition( in updateMovedSmartPointers()
[all …]
DNullabilityChecker.cpp431 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
447 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
473 C.addTransition(State); in checkDeadSymbols()
554 Context.addTransition(NewState); in checkLocation()
645 C.addTransition(State); in checkPreStmt()
662 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
678 C.addTransition(State); in checkPreStmt()
756 ExplodedNode *N = C.addTransition(State); in checkPreCall()
768 ExplodedNode *N = C.addTransition(State); in checkPreCall()
779 C.addTransition(State); in checkPreCall()
[all …]
DStreamChecker.cpp466 C.addTransition(StateNotNull, in evalFopen()
468 C.addTransition(StateNull); in evalFopen()
479 C.addTransition(State); in preFreopen()
522 C.addTransition(StateRetNotNull, in evalFreopen()
524 C.addTransition(StateRetNull); in evalFreopen()
545 C.addTransition(State); in evalFclose()
568 C.addTransition(State); in preFread()
586 C.addTransition(State); in preFwrite()
625 C.addTransition(State); in evalFreadFwrite()
637 C.addTransition(StateNotFailed); in evalFreadFwrite()
[all …]
DBuiltinFunctionChecker.cpp61 C.addTransition(state); in evalCall()
77 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
102 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
130 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
DDynamicTypePropagation.cpp246 C.addTransition(State); in checkDeadSymbols()
259 C.addTransition(State); in recordFixedType()
345 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
355 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
414 return C.addTransition(State); in dynamicTypePropagationOnCasts()
429 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
662 C.addTransition(State, AfterTypeProp); in checkPostStmt()
681 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()
699 C.addTransition(State, AfterTypeProp); in checkPostStmt()
893 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
[all …]
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()
411 C.addTransition(State); in handleClear()
419 C.addTransition(State, ChangeTag); in handleClear()
434 C.addTransition(State); in handlePushBack()
458 C.addTransition(State, ChangeTag); in handlePushBack()
498 C.addTransition(State, ChangeTag); in handlePopBack()
[all …]
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()
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 …]
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()
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()
DCXXSelfAssignmentChecker.cpp62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction()
72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()
DPthreadLockChecker.cpp431 C.addTransition(lockFail); in AcquireLockAux()
455 C.addTransition(lockSucc); in AcquireLockAux()
507 C.addTransition(state); in ReleaseLockAux()
550 C.addTransition(State); in DestroyLockAux()
560 C.addTransition(State); in DestroyLockAux()
566 C.addTransition(State); in DestroyLockAux()
602 C.addTransition(State); in InitLockAux()
649 C.addTransition(State); in checkDeadSymbols()
DMoveChecker.cpp365 C.addTransition(State); in modelUse()
376 C.addTransition(State); in modelUse()
388 C.addTransition(State, N); in modelUse()
492 C.addTransition(State); in checkPostCall()
646 C.addTransition(State); in checkPreCall()
672 C.addTransition(State); in checkPreCall()
698 C.addTransition(State); in checkDeadSymbols()
DTrustNonnullChecker.cpp92 C.addTransition(State); in checkPostCall()
130 C.addTransition(State); in checkPostObjCMessage()
139 C.addTransition(State); in checkDeadSymbols()
/external/clang/lib/StaticAnalyzer/Checkers/
DNullabilityChecker.cpp452 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
467 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
496 C.addTransition(State); in checkDeadSymbols()
629 C.addTransition(State); in checkPreStmt()
646 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
663 C.addTransition(State); in checkPreStmt()
737 ExplodedNode *N = C.addTransition(State); in checkPreCall()
749 ExplodedNode *N = C.addTransition(State); in checkPreCall()
764 C.addTransition(State); in checkPreCall()
796 C.addTransition(State); in checkPostCall()
[all …]
DDynamicTypePropagation.cpp127 C.addTransition(State); in checkDeadSymbols()
141 C.addTransition(State); in checkDeadSymbols()
154 C.addTransition(State); in recordFixedType()
231 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
241 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
289 return C.addTransition(State); in dynamicTypePropagationOnCasts()
304 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
574 C.addTransition(State, AfterTypeProp); in checkPostStmt()
577 C.addTransition(State, AfterTypeProp); in checkPostStmt()
590 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()
[all …]
DBuiltinFunctionChecker.cpp54 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
94 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
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()
DPthreadLockChecker.cpp174 C.addTransition(lockFail); in AcquireLock()
190 C.addTransition(lockSucc); in AcquireLock()
245 C.addTransition(state); in ReleaseLock()
260 C.addTransition(State); in DestroyLock()
295 C.addTransition(State); in InitLock()
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp47 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
52 Ctx.addTransition(State); in checkDoubleNonblocking()
93 Ctx.addTransition(State); in checkUnmatchedWaits()
95 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits()
129 Ctx.addTransition(State); in checkMissingWaits()
131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
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()
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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()));
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
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()
322 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
330 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
335 C.addTransition(State); in checkPostStmt()
485 C.addTransition(state); in processSummaryOfInlined()
704 C.addTransition(St, C.getPredecessor(), &getDeallocSentTag()); in checkSummary()
706 C.addTransition(St); in checkSummary()
[all …]
/external/antlr/tool/src/main/java/org/antlr/tool/
DNFAFactory.java143 left.addTransition(e); in build_Set()
168 left.addTransition(e); in build_Range()
240 left.addTransition(e); in build_RuleRef()
268 left.addTransition(e); in build_SemanticPredicate()
282 left.addTransition(e); in build_Action()
327 endNFAState.addTransition(toEnd); in build_EOFState()
676 left.addTransition(e); in build_Wildcard()
728 a.addTransition(e); in transitionBetweenStates()
/external/antlr/tool/src/main/java/org/antlr/analysis/
DLL1DFA.java69 s0.addTransition(acceptAltState, e); in LL1DFA()
97 s0.addTransition(s, e); in LL1DFA()
136 s.addTransition(predDFATarget, new PredicateLabel(synpred)); in LL1DFA()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h208 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
220 ExplodedNode *addTransition(ProgramStateRef State,
257 return addTransition(State, (Tag ? Tag : Location.getTag()));

12345