Home
last modified time | relevance | path

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

12

/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()
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()
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()
DExprInspectionChecker.cpp167 C.addTransition(State); in analyzerGetExtent()
181 C.addTransition(State); in analyzerWarnOnDeadSymbol()
196 C.addTransition(State); in checkDeadSymbols()
DPointerArithChecker.cpp240 C.addTransition(State); in checkPostStmt()
257 C.addTransition(State); in checkPostStmt()
275 C.addTransition(State); in checkPostStmt()
296 C.addTransition(State); in checkPreStmt()
DChrootChecker.cpp95 C.addTransition(state); in Chroot()
121 C.addTransition(state); in Chdir()
DMacOSKeychainAPIChecker.cpp402 C.addTransition(State); in checkPreStmt()
438 C.addTransition(State); in checkPreStmt()
483 C.addTransition(State); in checkPostStmt()
574 C.addTransition(State); in checkDeadSymbols()
588 C.addTransition(State, N); in checkDeadSymbols()
DCallAndMessageChecker.cpp332 C.addTransition(StNonNull); in checkPreStmt()
439 C.addTransition(State); in checkPreCall()
544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
586 C.addTransition(state); in HandleNilReceiver()
DCStringChecker.cpp1015 C.addTransition(stateZeroSize); in evalCopyCommon()
1097 C.addTransition(state); in evalCopyCommon()
1176 C.addTransition(state); in evalMemcmp()
1203 C.addTransition(state); in evalMemcmp()
1217 C.addTransition(state); in evalMemcmp()
1260 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1357 C.addTransition(state); in evalstrLengthCommon()
1528 C.addTransition(StateZeroSize); in evalStrcpyCommon()
1739 C.addTransition(state); in evalStrcpyCommon()
1823 C.addTransition(StSameBuf); in evalStrcmpCommon()
[all …]
DVforkChecker.cpp177 C.addTransition(ParentState); in checkPostCall()
179 C.addTransition(ChildState); in checkPostCall()
DSimpleStreamChecker.cpp134 C.addTransition(State); in checkPostCall()
160 C.addTransition(State); in checkPreCall()
DArrayBoundChecker.cpp88 C.addTransition(StInBound); in checkLocation()
DGenericTaintChecker.cpp310 C.addTransition(State); in addSourcesPre()
323 C.addTransition(State); in addSourcesPre()
362 C.addTransition(State); in propagateFromPre()
401 C.addTransition(State); in addSourcesPost()
DObjCAtSyncChecker.cpp88 C.addTransition(notNullState); in checkPreStmt()
DDereferenceChecker.cpp239 C.addTransition(notNullState); in checkLocation()
296 C.addTransition(State, this); in checkBind()
DDivZeroChecker.cpp87 C.addTransition(stateNotZero); in checkPreStmt()
DRetainCountChecker.cpp2738 C.addTransition(state); in checkPostStmt()
2777 C.addTransition(state); in checkPostStmt()
2806 C.addTransition(state); in processObjCLiterals()
2833 C.addTransition(State); in checkPostStmt()
2873 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2881 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2886 C.addTransition(State); in checkPostStmt()
2965 C.addTransition(state); in processSummaryOfInlined()
3113 NewNode = C.addTransition(state); in checkSummary()
3417 C.addTransition(state); in evalCall()
[all …]
/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/antlr/antlr-3.4/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()
328 endNFAState.addTransition(toEnd); in build_EOFState()
678 left.addTransition(e); in build_Wildcard()
730 a.addTransition(e); in transitionBetweenStates()
/external/antlr/antlr-3.4/tool/src/main/java/org/antlr/analysis/
DLL1DFA.java67 s0.addTransition(acceptAltState, e); in LL1DFA()
94 s0.addTransition(s, e); in LL1DFA()
133 s.addTransition(predDFATarget, new PredicateLabel(synpred)); in LL1DFA()
DState.java43 public abstract void addTransition(Transition e); in addTransition() method in State
DNFAToDFAConverter.java309 addTransition(d, label, targetState, targetToLabelMap); in findNewDFAStatesAndAddDFATransitions()
408 protected static int addTransition(DFAState d, in addTransition() method in NFAToDFAConverter
440 int transitionIndex = d.addTransition(targetState, label); in addTransition()
448 d.addTransition(targetState, label); in addTransition()
1704 d.addTransition(predDFATarget, new PredicateLabel(c.semanticContext)); in addPredicateTransitions()
/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()));

12