Home
last modified time | relevance | path

Searched refs:NewState (Results 1 – 25 of 31) sorted by relevance

12

/freebsd/usr.sbin/ppp/
H A Dfsm.c169 NewState(struct fsm *fp, int new) in NewState() function
250 NewState(fp, ST_REQSENT); in FsmOpenNow()
259 NewState(fp, ST_STARTING); in fsm_Open()
265 NewState(fp, ST_STOPPED); /* XXX: This is a hack ! */ in fsm_Open()
270 NewState(fp, ST_STOPPED); /* XXX: This is a not-so-bad hack ! */ in fsm_Open()
287 NewState(fp, ST_STOPPING); in fsm_Open()
299 NewState(fp, ST_CLOSED); in fsm_Up()
304 NewState(fp, ST_REQSENT); in fsm_Up()
318 NewState(fp, ST_INITIAL); in fsm_Down()
323 NewState(fp, ST_INITIAL); in fsm_Down()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp183 ProgramStateRef NewState = in initStateAftetBuiltinOverflow() local
188 NewState = NewState->bindLoc(*L, RetVal, C.getLocationContext()); in initStateAftetBuiltinOverflow()
192 NewState = addTaint(NewState, *L); in initStateAftetBuiltinOverflow()
195 return NewState; in initStateAftetBuiltinOverflow()
218 auto NewState = in handleOverflowBuiltin() local
221 C.addTransition(NewState, createBuiltinOverflowNoteTag( in handleOverflowBuiltin()
226 auto NewState = initStateAftetBuiltinOverflow(C, State, Call, RetVal, true); in handleOverflowBuiltin() local
228 C.addTransition(NewState, createBuiltinOverflowNoteTag(C, /*overflow=*/true, in handleOverflowBuiltin()
H A DTaint.cpp94 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); in addTaint() local
95 assert(NewState); in addTaint()
96 return NewState; in addTaint()
120 ProgramStateRef NewState = State->remove<TaintMap>(Sym); in removeTaint() local
121 assert(NewState); in removeTaint()
122 return NewState; in removeTaint()
143 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs); in addPartialTaint() local
144 assert(NewState); in addPartialTaint()
145 return NewState; in addPartialTaint()
H A DIterator.cpp273 ProgramStateRef NewState = State; in assumeNoOverflow() local
280 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
281 if (!NewState) in assumeNoOverflow()
290 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
291 if (!NewState) in assumeNoOverflow()
295 return NewState; in assumeNoOverflow()
H A DIteratorModeling.cpp549 auto NewState = in handleIncrement() local
552 assert(NewState && in handleIncrement()
555 const auto *NewPos = getIteratorPosition(NewState, Iter); in handleIncrement()
575 auto NewState = in handleDecrement() local
578 assert(NewState && in handleDecrement()
581 const auto *NewPos = getIteratorPosition(NewState, Iter); in handleDecrement()
667 ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos); in handlePtrIncrOrDecr() local
668 C.addTransition(NewState); in handlePtrIncrOrDecr()
808 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols() local
809 if (!NewState) in relateSymbols()
[all …]
H A DCastValueChecker.cpp309 ProgramStateRef NewState = State; in addInstanceOfTransition() local
311 NewState = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy, in addInstanceOfTransition()
317 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
324 C.generateSink(NewState, C.getPredecessor()); in addInstanceOfTransition()
H A DNonNullParamChecker.cpp270 if (ProgramStateRef NewState = State->assume(StoredVal, true)) { in checkBeginFunction() local
271 State = NewState; in checkBeginFunction()
H A DStdLibraryFunctionsChecker.cpp1320 ProgramStateRef NewState = State; in checkPreCall() local
1324 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
1326 NegatedConstraint->apply(NewState, Call, Summary, C); in checkPreCall()
1339 NewState = SuccessSt; in checkPreCall()
1340 if (NewState != State) { in checkPreCall()
1348 Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary, in checkPreCall()
1352 NewState, NewNode, in checkPreCall()
1375 ProgramStateRef NewState = State; in checkPostCall() local
1377 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
1378 if (!NewState) in checkPostCall()
[all …]
H A DNullabilityChecker.cpp634 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) { in checkLocation() local
635 Context.addTransition(NewState); in checkLocation()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp100 ProgramState NewState = *state; in removeDeadBindingsFromEnvironmentAndStore() local
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
107 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
110 return getPersistentState(NewState); in removeDeadBindingsFromEnvironmentAndStore()
186 ProgramStateRef NewState = makeWithStore(NewStore); in invalidateRegions() local
189 NewState = Eng.notifyCheckersOfPointerEscape( in invalidateRegions()
190 NewState, IS, TopLevelInvalidated, Call, *ITraits); in invalidateRegions()
193 return Eng.processRegionChanges(NewState, IS, TopLevelInvalidated, in invalidateRegions()
406 ProgramState NewState(*FromState); in getPersistentStateWithGDM() local
[all …]
H A DExprEngine.cpp1150 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit() local
1153 NewState = processLoopEnd(S, NewState); in ProcessLoopExit()
1156 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
2161 ProgramStateRef NewState = in Visit() local
2163 if (NewState != State) { in Visit()
2164 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit()
2546 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(), in processCFGBlockEntrance() local
2548 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
2549 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
/freebsd/contrib/llvm-project/llvm/utils/TableGen/
H A DDFAEmitter.cpp174 uint64_t NewState; member in __anon4fed36600211::Transition
273 uint64_t NewState = T.transitionFrom(State); in emit() local
274 if (SeenStates.emplace(NewState).second) in emit()
275 Worklist.emplace_back(NewState); in emit()
277 Emitter.addTransition(State, NewState, Actions.idFor(T.getActions())); in emit()
306 NewState = 0; in Transition()
312 NewState |= 1ULL << I; in Transition()
338 if ((State & NewState) == 0) in canTransitionFrom()
344 uint64_t Transition::transitionFrom(uint64_t State) { return State | NewState; } in transitionFrom()
H A DDFAPacketizerEmitter.cpp328 for (uint64_t NewState : ApplyInsnClass(Resources, State)) { in emitForItineraries() local
329 if (SeenStates.emplace(NewState).second) in emitForItineraries()
330 Worklist.emplace_back(NewState); in emitForItineraries()
331 Emitter.addTransition(State, NewState, ResourcesID); in emitForItineraries()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/AsmPrinter/
H A DWinException.cpp387 int NewState; member
407 LastStateChange.NewState = BaseState; in InvokeStateChangeIterator()
470 if (!VisitingInvoke && LastStateChange.NewState != BaseState && in scan()
477 LastStateChange.NewState = BaseState; in scan()
497 int NewState = StateAndEnd.first; in scan() local
501 if (NewState == LastStateChange.NewState) { in scan()
510 LastStateChange.NewState = NewState; in scan()
519 if (LastStateChange.NewState != BaseState) { in scan()
523 LastStateChange.NewState = BaseState; in scan()
621 LastEHState = StateChange.NewState; in emitCSpecificHandlerTable()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/MC/
H A DMCSection.cpp38 void MCSection::setBundleLockState(BundleLockStateType NewState) { in setBundleLockState() argument
39 if (NewState == NotBundleLocked) { in setBundleLockState()
52 BundleLockState = NewState; in setBundleLockState()
/freebsd/contrib/llvm-project/libcxx/src/filesystem/
H A Dpath_parser.h211 void makeState(ParserState NewState, PosPtr Start, PosPtr End) noexcept { in makeState()
212 State_ = NewState; in makeState()
215 void makeState(ParserState NewState) noexcept { in makeState()
216 State_ = NewState; in makeState()
/freebsd/contrib/llvm-project/llvm/include/llvm/TableGen/
H A DAutomaton.td86 // A transition S' = T(S) is valid if, for every set bit in NewState, the
89 // S' = S | NewState
94 bits<32> NewState;
/freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DAMDGPUWaitSGPRHazards.cpp500 HazardState NewState = BlockState[&MBB].Out; in run() local
506 if (SuccState.In != NewState) { in run()
507 SuccState.In = NewState; in run()
510 } else if (SuccState.In.merge(NewState)) { in run()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h341 ProgramStateRef NewState = in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
345 NewState->get<ConstraintSMT>().Profile(ID); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
353 addStateConstraints(NewState); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DCallEvent.h379 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
382 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
383 return cloneWithState<CallEvent>(NewState); in cloneWithState()
1480 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
1485 if (NewState == State) in cloneWithState()
1493 Copy->State = NewState; in cloneWithState()
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaARM.cpp1241 std::vector<StringRef> NewState; in handleNewAttr() local
1244 NewState.push_back(S); in handleNewAttr()
1265 if (!llvm::is_contained(NewState, StateName)) // Avoid adding duplicates. in handleNewAttr()
1266 NewState.push_back(StateName); in handleNewAttr()
1284 getASTContext(), AL, NewState.data(), NewState.size())); in handleNewAttr()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DRewriteStatepointsForGC.cpp1033 BDVState NewState(BDV); in findBasePointer() local
1037 NewState.meet(OpState); in findBasePointer()
1044 auto BV = NewState.getBaseValue(); in findBasePointer()
1046 NewState = BDVState(I, BDVState::Conflict); in findBasePointer()
1049 if (OldState != NewState) { in findBasePointer()
1051 States[BDV] = NewState; in findBasePointer()
/freebsd/contrib/llvm-project/clang/lib/Format/
H A DContinuationIndenter.cpp2062 auto &NewState = State.Stack.back(); in moveStatePastScopeOpener() local
2063 NewState.NestedBlockIndent = NestedBlockIndent; in moveStatePastScopeOpener()
2064 NewState.BreakBeforeParameter = BreakBeforeParameter; in moveStatePastScopeOpener()
2065 NewState.HasMultipleNestedBlocks = (Current.BlockParameterCount > 1); in moveStatePastScopeOpener()
2073 NewState.HasMultipleNestedBlocks = true; in moveStatePastScopeOpener()
2080 NewState.IsInsideObjCArrayLiteral = Current.is(TT_ArrayInitializerLSquare) && in moveStatePastScopeOpener()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/
H A DRegAllocFast.cpp278 void setPhysRegState(MCRegister PhysReg, unsigned NewState);
451 void RegAllocFastImpl::setPhysRegState(MCRegister PhysReg, unsigned NewState) { in setPhysRegState() argument
453 RegUnitStates[Unit] = NewState; in setPhysRegState()
/freebsd/contrib/llvm-project/llvm/include/llvm/MC/
H A DMCSection.h173 void setBundleLockState(BundleLockStateType NewState);

12