| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 92 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); in addTaint() local
93 assert(NewState); in addTaint()
94 return NewState; in addTaint()
118 ProgramStateRef NewState = State->remove<TaintMap>(Sym); in removeTaint() local
119 assert(NewState); in removeTaint()
120 return NewState; in removeTaint()
141 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs); in addPartialTaint() local
142 assert(NewState); in addPartialTaint()
143 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 | 972 ProgramStateRef NewState = State; in checkPreCall() local
988 NewState = SuccessSt; in checkPreCall()
991 if (NewState && NewState != State) in checkPreCall()
992 C.addTransition(NewState); in checkPreCall()
1008 ProgramStateRef NewState = State; in checkPostCall() local
1010 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
1011 if (!NewState) in checkPostCall()
1015 if (NewState) in checkPostCall()
1016 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C); in checkPostCall()
1018 if (NewState && NewState != State) { 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 | 553 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) { in checkLocation() local
554 Context.addTransition(NewState); in checkLocation()
|
| /llvm-project-15.0.7/llvm/unittests/TableGen/ |
| H A D | Automata.td | 18 let NewState{1...0} = State;
41 let NewState{1...0} = State;
62 let NewState{1...0} = State;
130 class Bin0 : BinTransition { let NewState{0} = 1; }
131 class Bin1 : BinTransition { let NewState{1} = 1; }
132 class Bin2 : BinTransition { let NewState{2} = 1;}
133 class Bin3 : BinTransition { let NewState{3} = 1; }
134 class Bin4 : BinTransition { let NewState{4} = 1;}
135 class Bin5 : BinTransition { let NewState{5} = 1; }
137 class Bin01 : BinTransition { let NewState{0,1} = 0b11; }
[all …]
|
| /llvm-project-15.0.7/llvm/utils/TableGen/ |
| H A D | DFAEmitter.cpp | 200 uint64_t NewState; member in __anon8900ab900211::Transition
299 uint64_t NewState = T.transitionFrom(State); in emit() local
300 if (SeenStates.emplace(NewState).second) in emit()
301 Worklist.emplace_back(NewState); in emit()
303 Emitter.addTransition(State, NewState, Actions.idFor(T.getActions())); in emit()
332 NewState = 0; in Transition()
338 NewState |= 1ULL << I; in Transition()
364 if ((State & NewState) == 0) in canTransitionFrom()
371 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()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 100 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()
408 ProgramState NewState(*FromState); in getPersistentStateWithGDM() local
409 NewState.GDM = GDMState->GDM; in getPersistentStateWithGDM()
410 return getPersistentState(NewState); in getPersistentStateWithGDM()
541 ProgramState NewState = *state; in removeGDM() local
542 NewState.GDM = NewM; in removeGDM()
[all …]
|
| H A D | ExprEngine.cpp | 975 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit() local
978 NewState = processLoopEnd(S, NewState); in ProcessLoopExit()
981 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1784 ProgramStateRef NewState = in Visit() local
1786 if (NewState != State) { in Visit()
1787 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit()
2156 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(), in processCFGBlockEntrance() local
2158 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
2159 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/AsmPrinter/ |
| H A D | WinException.cpp | 393 int NewState; member
413 LastStateChange.NewState = BaseState; in InvokeStateChangeIterator()
483 LastStateChange.NewState = BaseState; in scan()
503 int NewState = StateAndEnd.first; in scan() local
507 if (NewState == LastStateChange.NewState) { in scan()
516 LastStateChange.NewState = NewState; in scan()
525 if (LastStateChange.NewState != BaseState) { in scan()
529 LastStateChange.NewState = BaseState; in scan()
627 LastEHState = StateChange.NewState; in emitCSpecificHandlerTable()
1230 if (StateChange.NewState != CurrentState) { in emitCLRExceptionTable()
[all …]
|
| /llvm-project-15.0.7/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()
|
| /llvm-project-15.0.7/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;
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 329 ProgramStateRef NewState = in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
333 NewState->get<ConstraintSMT>().Profile(ID); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
341 addStateConstraints(NewState); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | CallEvent.h | 371 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
374 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
375 return cloneWithState<CallEvent>(NewState); in cloneWithState()
1342 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
1347 if (NewState == State) in cloneWithState()
1355 Copy->State = NewState; in cloneWithState()
|
| /llvm-project-15.0.7/llvm/include/llvm/MC/ |
| H A D | MCSection.h | 150 void setBundleLockState(BundleLockStateType NewState);
|
| /llvm-project-15.0.7/clang-tools-extra/pseudo/lib/ |
| H A D | GLR.cpp | 186 LRTable::StateID NewState = in glrRecover() local
191 Params.GSStack.addNode(NewState, &Placeholder, {Option->RecoveryNode}); in glrRecover()
|
| /llvm-project-15.0.7/clang/lib/Format/ |
| H A D | ContinuationIndenter.cpp | 1709 auto &NewState = State.Stack.back(); in moveStatePastScopeOpener() local
1710 NewState.NestedBlockIndent = NestedBlockIndent; in moveStatePastScopeOpener()
1711 NewState.BreakBeforeParameter = BreakBeforeParameter; in moveStatePastScopeOpener()
1712 NewState.HasMultipleNestedBlocks = (Current.BlockParameterCount > 1); in moveStatePastScopeOpener()
1720 NewState.HasMultipleNestedBlocks = true; in moveStatePastScopeOpener()
1727 NewState.IsInsideObjCArrayLiteral = Current.is(TT_ArrayInitializerLSquare) && in moveStatePastScopeOpener()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/ |
| H A D | RegAllocFast.cpp | 159 void setPhysRegState(MCPhysReg PhysReg, unsigned NewState);
303 void RegAllocFast::setPhysRegState(MCPhysReg PhysReg, unsigned NewState) { in setPhysRegState() argument
305 RegUnitStates[*UI] = NewState; in setPhysRegState()
|
| /llvm-project-15.0.7/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()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | RewriteStatepointsForGC.cpp | 1055 BDVState NewState(BDV); in findBasePointer() local
1059 NewState.meet(OpState); in findBasePointer()
1063 if (OldState != NewState) { in findBasePointer()
1065 States[BDV] = NewState; in findBasePointer()
|
| H A D | NewGVN.cpp | 3084 auto NewState = AllEqual ? MPS_Equivalent : MPS_Unique; in valueNumberMemoryPhi() local
3085 MemoryPhiState[MP] = NewState; in valueNumberMemoryPhi()
3086 if (setMemoryClass(MP, CC) || OldState != NewState) in valueNumberMemoryPhi()
|
| /llvm-project-15.0.7/clang/lib/Serialization/ |
| H A D | ASTReader.cpp | 6306 DiagState *NewState = &Diag.DiagStates.back(); in ReadPragmaDiagnosticMappings() local
6307 DiagStates.push_back(NewState); in ReadPragmaDiagnosticMappings()
6318 DiagnosticMapping &Mapping = NewState->getOrAddMapping(DiagID); in ReadPragmaDiagnosticMappings()
6330 return NewState; in ReadPragmaDiagnosticMappings()
|