| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 93 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); in addTaint() local
94 assert(NewState); in addTaint()
95 return NewState; in addTaint()
119 ProgramStateRef NewState = State->remove<TaintMap>(Sym); in removeTaint() local
120 assert(NewState); in removeTaint()
121 return NewState; in removeTaint()
142 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs); in addPartialTaint() local
143 assert(NewState); in addPartialTaint()
144 return NewState; in addPartialTaint()
|
| H A D | Iterator.cpp | 274 ProgramStateRef NewState = State; in assumeNoOverflow() local
281 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
282 if (!NewState) in assumeNoOverflow()
291 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
292 if (!NewState) in assumeNoOverflow()
296 return NewState; in assumeNoOverflow()
|
| H A D | IteratorModeling.cpp | 548 auto NewState = in handleIncrement() local
551 assert(NewState && in handleIncrement()
554 const auto *NewPos = getIteratorPosition(NewState, Iter); in handleIncrement()
574 auto NewState = in handleDecrement() local
577 assert(NewState && in handleDecrement()
580 const auto *NewPos = getIteratorPosition(NewState, Iter); in handleDecrement()
665 ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos); in handlePtrIncrOrDecr() local
666 C.addTransition(NewState); in handlePtrIncrOrDecr()
805 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols() local
806 if (!NewState) in relateSymbols()
[all …]
|
| H A D | CastValueChecker.cpp | 309 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 D | StdLibraryFunctionsChecker.cpp | 979 ProgramStateRef NewState = State; in checkPreCall() local
982 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
984 Constraint->negate()->apply(NewState, Call, Summary, C); in checkPreCall()
987 if (ExplodedNode *N = C.generateErrorNode(NewState, NewNode)) in checkPreCall()
996 NewState = SuccessSt; in checkPreCall()
997 if (NewState != State) { in checkPreCall()
1001 NewState, Summary); in checkPreCall()
1004 NewState, NewNode, in checkPreCall()
1027 ProgramStateRef NewState = State; in checkPostCall() local
1029 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
[all …]
|
| H A D | NonNullParamChecker.cpp | 269 if (ProgramStateRef NewState = State->assume(StoredVal, true)) { in checkBeginFunction() local
270 State = NewState; in checkBeginFunction()
|
| H A D | NullabilityChecker.cpp | 602 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) { in checkLocation() local
603 Context.addTransition(NewState); in checkLocation()
|
| /openbsd-src/gnu/llvm/llvm/utils/TableGen/ |
| H A D | DFAEmitter.cpp | 179 uint64_t NewState; member in __anon1cdffbd70211::Transition
278 uint64_t NewState = T.transitionFrom(State); in emit() local
279 if (SeenStates.emplace(NewState).second) in emit()
280 Worklist.emplace_back(NewState); in emit()
282 Emitter.addTransition(State, NewState, Actions.idFor(T.getActions())); in emit()
311 NewState = 0; in Transition()
317 NewState |= 1ULL << I; in Transition()
343 if ((State & NewState) == 0) in canTransitionFrom()
350 return State | NewState; in transitionFrom()
|
| H A D | DFAPacketizerEmitter.cpp | 325 for (uint64_t NewState : applyInsnClass(Resources, State)) { in emitForItineraries() local
326 if (SeenStates.emplace(NewState).second) in emitForItineraries()
327 Worklist.emplace_back(NewState); in emitForItineraries()
328 Emitter.addTransition(State, NewState, ResourcesID); in emitForItineraries()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 101 ProgramState NewState = *state; in removeDeadBindingsFromEnvironmentAndStore() local
103 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
106 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
108 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
111 return getPersistentState(NewState); in removeDeadBindingsFromEnvironmentAndStore()
407 ProgramState NewState(*FromState); in getPersistentStateWithGDM() local
408 NewState.GDM = GDMState->GDM; in getPersistentStateWithGDM()
409 return getPersistentState(NewState); in getPersistentStateWithGDM()
540 ProgramState NewState = *state; in removeGDM() local
541 NewState.GDM = NewM; in removeGDM()
[all …]
|
| H A D | ExprEngine.cpp | 1140 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit() local
1143 NewState = processLoopEnd(S, NewState); in ProcessLoopExit()
1146 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
2106 ProgramStateRef NewState = in Visit() local
2108 if (NewState != State) { in Visit()
2109 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit()
2479 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(), in processCFGBlockEntrance() local
2481 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
2482 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
|
| /openbsd-src/gnu/llvm/llvm/lib/CodeGen/AsmPrinter/ |
| H A D | WinException.cpp | 385 int NewState; member
405 LastStateChange.NewState = BaseState; in InvokeStateChangeIterator()
468 if (!VisitingInvoke && LastStateChange.NewState != BaseState && in scan()
475 LastStateChange.NewState = BaseState; in scan()
495 int NewState = StateAndEnd.first; in scan() local
499 if (NewState == LastStateChange.NewState) { in scan()
508 LastStateChange.NewState = NewState; in scan()
517 if (LastStateChange.NewState != BaseState) { in scan()
521 LastStateChange.NewState = BaseState; in scan()
619 LastEHState = StateChange.NewState; in emitCSpecificHandlerTable()
[all …]
|
| /openbsd-src/gnu/llvm/llvm/lib/MC/ |
| H A D | MCSection.cpp | 39 void MCSection::setBundleLockState(BundleLockStateType NewState) { in setBundleLockState() argument
40 if (NewState == NotBundleLocked) { in setBundleLockState()
53 BundleLockState = NewState; in setBundleLockState()
|
| /openbsd-src/gnu/llvm/llvm/include/llvm/TableGen/ |
| H A D | Automaton.td | 86 // A transition S' = T(S) is valid if, for every set bit in NewState, the
89 // S' = S | NewState
94 bits<32> NewState;
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 330 ProgramStateRef NewState = in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
334 NewState->get<ConstraintSMT>().Profile(ID); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
342 addStateConstraints(NewState); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | CallEvent.h | 372 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
375 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
376 return cloneWithState<CallEvent>(NewState); in cloneWithState()
1355 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
1360 if (NewState == State) in cloneWithState()
1368 Copy->State = NewState; in cloneWithState()
|
| /openbsd-src/gnu/llvm/llvm/include/llvm/MC/ |
| H A D | MCSection.h | 156 void setBundleLockState(BundleLockStateType NewState);
|
| /openbsd-src/gnu/llvm/clang/lib/Format/ |
| H A D | ContinuationIndenter.cpp | 1744 auto &NewState = State.Stack.back(); in moveStatePastScopeOpener() local
1745 NewState.NestedBlockIndent = NestedBlockIndent; in moveStatePastScopeOpener()
1746 NewState.BreakBeforeParameter = BreakBeforeParameter; in moveStatePastScopeOpener()
1747 NewState.HasMultipleNestedBlocks = (Current.BlockParameterCount > 1); in moveStatePastScopeOpener()
1755 NewState.HasMultipleNestedBlocks = true; in moveStatePastScopeOpener()
1762 NewState.IsInsideObjCArrayLiteral = Current.is(TT_ArrayInitializerLSquare) && in moveStatePastScopeOpener()
|
| /openbsd-src/gnu/llvm/llvm/lib/CodeGen/ |
| H A D | RegAllocFast.cpp | 159 void setPhysRegState(MCPhysReg PhysReg, unsigned NewState);
310 void RegAllocFast::setPhysRegState(MCPhysReg PhysReg, unsigned NewState) { in setPhysRegState() argument
312 RegUnitStates[*UI] = NewState; in setPhysRegState()
|
| /openbsd-src/gnu/llvm/libcxx/src/filesystem/ |
| H A D | operations.cpp | 263 void makeState(ParserState NewState, PosPtr Start, PosPtr End) noexcept { in makeState()
264 State = NewState; in makeState()
267 void makeState(ParserState NewState) noexcept { in makeState()
268 State = NewState; in makeState()
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Scalar/ |
| H A D | RewriteStatepointsForGC.cpp | 1057 BDVState NewState(BDV); in findBasePointer() local
1061 NewState.meet(OpState); in findBasePointer()
1065 if (OldState != NewState) { in findBasePointer()
1067 States[BDV] = NewState; in findBasePointer()
|
| H A D | NewGVN.cpp | 3081 auto NewState = AllEqual ? MPS_Equivalent : MPS_Unique; in valueNumberMemoryPhi() local
3082 MemoryPhiState[MP] = NewState; in valueNumberMemoryPhi()
3083 if (setMemoryClass(MP, CC) || OldState != NewState) in valueNumberMemoryPhi()
|
| /openbsd-src/gnu/llvm/clang/lib/Serialization/ |
| H A D | ASTReader.cpp | 6347 DiagState *NewState = &Diag.DiagStates.back(); in ReadPragmaDiagnosticMappings() local
6348 DiagStates.push_back(NewState); in ReadPragmaDiagnosticMappings()
6359 DiagnosticMapping &Mapping = NewState->getOrAddMapping(DiagID); in ReadPragmaDiagnosticMappings()
6371 return NewState; in ReadPragmaDiagnosticMappings()
|
| /openbsd-src/gnu/llvm/clang/lib/Sema/ |
| H A D | SemaDeclAttr.cpp | 1354 SetTypestateAttr::ConsumedState NewState; in handleSetTypestateAttr() local
1358 if (!SetTypestateAttr::ConvertStrToConsumedState(Param, NewState)) { in handleSetTypestateAttr()
1369 D->addAttr(::new (S.Context) SetTypestateAttr(S.Context, AL, NewState)); in handleSetTypestateAttr()
|
| /openbsd-src/gnu/llvm/clang/include/clang/Basic/ |
| H A D | Attr.td | 3422 let Args = [EnumArgument<"NewState", "ConsumedState",
|