HomeSort by: relevance | last modified time | path
    Searched defs:NewState (Results 1 - 10 of 10) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
Taint.cpp 90 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);
91 assert(NewState);
92 return NewState;
116 ProgramStateRef NewState = State->remove<TaintMap>(Sym);
117 assert(NewState);
118 return NewState;
139 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs);
140 assert(NewState);
141 return NewState;
Iterator.cpp 274 ProgramStateRef NewState = State;
281 NewState = NewState->assume(*DV, true);
282 if (!NewState)
291 NewState = NewState->assume(*DV, true);
292 if (!NewState)
296 return NewState;
IteratorModeling.cpp 549 auto NewState =
552 assert(NewState &&
555 const auto *NewPos = getIteratorPosition(NewState, Iter);
575 auto NewState =
578 assert(NewState &&
581 const auto *NewPos = getIteratorPosition(NewState, Iter);
666 ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);
667 C.addTransition(NewState);
806 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
807 if (!NewState)
    [all...]
StreamChecker.cpp 665 StreamState NewState = StreamState::getOpened(Desc, NewES, !NewES.isFEof());
666 StateFailed = StateFailed->set<StreamMap>(StreamSym, NewState);
StdLibraryFunctionsChecker.cpp 812 ProgramStateRef NewState = State;
814 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);
816 Constraint->negate()->apply(NewState, Call, Summary, C);
819 if (ExplodedNode *N = C.generateErrorNode(NewState))
828 NewState = SuccessSt;
831 if (NewState && NewState != State)
832 C.addTransition(NewState);
847 ProgramStateRef NewState = State;
849 NewState = Constraint->apply(NewState, Call, Summary, C)
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SMTConstraintManager.h 329 ProgramStateRef NewState =
333 NewState->get<ConstraintSMT>().Profile(ID);
341 addStateConstraints(NewState);
  /src/external/apache2/llvm/dist/llvm/utils/TableGen/
DFAEmitter.cpp 200 uint64_t NewState;
299 uint64_t NewState = T.transitionFrom(State);
300 if (SeenStates.emplace(NewState).second)
301 Worklist.emplace_back(NewState);
303 Emitter.addTransition(State, NewState, Actions.idFor(T.getActions()));
330 BitsInit *NewStateInit = R->getValueAsBitsInit("NewState");
331 NewState = 0;
337 NewState |= 1ULL << I;
363 if ((State & NewState) == 0)
370 return State | NewState;
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 104 ProgramState NewState = *state;
106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
111 NewState.setStore(newStore);
114 return getPersistentState(NewState);
122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
126 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);
128 return newState;
209 ProgramStateRef newState = makeWithStore(newStore)
    [all...]
ExprEngine.cpp 268 if (ProgramStateRef newState = state->assume(*Constraint, true))
269 state = newState;
806 ProgramStateRef NewState = Pred->getState();
809 NewState = processLoopEnd(S, NewState);
812 Bldr.generateNode(PP, NewState, Pred);
1597 ProgramStateRef NewState =
1599 if (NewState != State) {
1600 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1969 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext()
    [all...]
  /src/external/apache2/llvm/dist/llvm/lib/CodeGen/AsmPrinter/
WinException.cpp 396 int NewState;
416 LastStateChange.NewState = BaseState;
479 if (!VisitingInvoke && LastStateChange.NewState != BaseState &&
486 LastStateChange.NewState = BaseState;
506 int NewState = StateAndEnd.first;
510 if (NewState == LastStateChange.NewState) {
519 LastStateChange.NewState = NewState;
528 if (LastStateChange.NewState != BaseState)
    [all...]

Completed in 25 milliseconds