| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 90 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); in addTaint() local
91 assert(NewState); in addTaint()
92 return NewState; in addTaint()
116 ProgramStateRef NewState = State->remove<TaintMap>(Sym); in removeTaint() local
117 assert(NewState); in removeTaint()
118 return NewState; in removeTaint()
139 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs); in addPartialTaint() local
140 assert(NewState); in addPartialTaint()
141 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 | 549 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()
666 ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos); in handlePtrIncrOrDecr() local
667 C.addTransition(NewState); in handlePtrIncrOrDecr()
806 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols() local
807 if (!NewState) in relateSymbols()
[all …]
|
| H A D | CastValueChecker.cpp | 308 ProgramStateRef NewState = State; in addInstanceOfTransition() local
310 NewState = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy, in addInstanceOfTransition()
316 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
323 C.generateSink(NewState, C.getPredecessor()); in addInstanceOfTransition()
|
| H A D | StdLibraryFunctionsChecker.cpp | 812 ProgramStateRef NewState = State; in checkPreCall() local
814 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
816 Constraint->negate()->apply(NewState, Call, Summary, C); in checkPreCall()
819 if (ExplodedNode *N = C.generateErrorNode(NewState)) in checkPreCall()
828 NewState = SuccessSt; in checkPreCall()
831 if (NewState && NewState != State) in checkPreCall()
832 C.addTransition(NewState); in checkPreCall()
847 ProgramStateRef NewState = State; in checkPostCall() local
849 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
850 if (!NewState) 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 | StreamChecker.cpp | 665 StreamState NewState = StreamState::getOpened(Desc, NewES, !NewES.isFEof()); in evalFreadFwrite() local
666 StateFailed = StateFailed->set<StreamMap>(StreamSym, NewState); in evalFreadFwrite()
|
| H A D | NullabilityChecker.cpp | 553 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) { in checkLocation() local
554 Context.addTransition(NewState); in checkLocation()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/utils/TableGen/ |
| H A D | DFAEmitter.cpp | 200 uint64_t NewState; member in __anon14d6558b0211::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()
331 NewState = 0; in Transition()
337 NewState |= 1ULL << I; in Transition()
363 if ((State & NewState) == 0) in canTransitionFrom()
370 return State | NewState; in transitionFrom()
|
| H A D | DFAPacketizerEmitter.cpp | 327 for (uint64_t NewState : applyInsnClass(Resources, State)) { in emitForItineraries() local
328 if (SeenStates.emplace(NewState).second) in emitForItineraries()
329 Worklist.emplace_back(NewState); in emitForItineraries()
330 Emitter.addTransition(State, NewState, ResourcesID); in emitForItineraries()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 104 ProgramState NewState = *state; in removeDeadBindingsFromEnvironmentAndStore() local
106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
111 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
114 return getPersistentState(NewState); in removeDeadBindingsFromEnvironmentAndStore()
403 ProgramState NewState(*FromState); in getPersistentStateWithGDM() local
404 NewState.GDM = GDMState->GDM; in getPersistentStateWithGDM()
405 return getPersistentState(NewState); in getPersistentStateWithGDM()
530 ProgramState NewState = *state; in removeGDM() local
531 NewState.GDM = NewM; in removeGDM()
[all …]
|
| H A D | ExprEngine.cpp | 806 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit() local
809 NewState = processLoopEnd(S, NewState); in ProcessLoopExit()
812 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1597 ProgramStateRef NewState = in Visit() local
1599 if (NewState != State) { in Visit()
1600 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit()
1969 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(), in processCFGBlockEntrance() local
1971 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
1972 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
|
| H A D | RangeConstraintManager.cpp | 1490 if (ProgramStateRef NewState = setConstraint(State, Sym, NewConstraint)) { in track() local
1495 return track(NewState, *Equality); in track()
1498 return NewState; in track()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/CodeGen/AsmPrinter/ |
| H A D | WinException.cpp | 396 int NewState; member
416 LastStateChange.NewState = BaseState; in InvokeStateChangeIterator()
479 if (!VisitingInvoke && LastStateChange.NewState != BaseState && in scan()
486 LastStateChange.NewState = BaseState; in scan()
506 int NewState = StateAndEnd.first; in scan() local
510 if (NewState == LastStateChange.NewState) { in scan()
519 LastStateChange.NewState = NewState; in scan()
528 if (LastStateChange.NewState != BaseState) { in scan()
532 LastStateChange.NewState = BaseState; in scan()
630 LastEHState = StateChange.NewState; in emitCSpecificHandlerTable()
[all …]
|
| /netbsd-src/external/apache2/llvm/dist/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()
|
| /netbsd-src/external/apache2/llvm/dist/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;
|
| /netbsd-src/external/apache2/llvm/dist/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 | 373 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
376 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
377 return cloneWithState<CallEvent>(NewState); in cloneWithState()
1436 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() argument
1441 if (NewState == State) in cloneWithState()
1449 Copy->State = NewState; in cloneWithState()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/MC/ |
| H A D | MCSection.h | 141 void setBundleLockState(BundleLockStateType NewState);
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/CodeGen/ |
| H A D | RegAllocFast.cpp | 153 void setPhysRegState(MCPhysReg PhysReg, unsigned NewState);
293 void RegAllocFast::setPhysRegState(MCPhysReg PhysReg, unsigned NewState) { in setPhysRegState() argument
295 RegUnitStates[*UI] = NewState; in setPhysRegState()
|
| /netbsd-src/external/apache2/llvm/dist/libcxx/src/filesystem/ |
| H A D | operations.cpp | 260 void makeState(ParserState NewState, PosPtr Start, PosPtr End) noexcept { in makeState()
261 State = NewState; in makeState()
264 void makeState(ParserState NewState) noexcept { in makeState()
265 State = NewState; in makeState()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/ |
| H A D | RewriteStatepointsForGC.cpp | 969 BDVState NewState(BDV); in findBasePointer() local
973 NewState.meet(OpState); in findBasePointer()
977 if (OldState != NewState) { in findBasePointer()
979 States[BDV] = NewState; in findBasePointer()
|
| H A D | NewGVN.cpp | 3051 auto NewState = AllEqual ? MPS_Equivalent : MPS_Unique; in valueNumberMemoryPhi() local
3052 MemoryPhiState[MP] = NewState; in valueNumberMemoryPhi()
3053 if (setMemoryClass(MP, CC) || OldState != NewState) in valueNumberMemoryPhi()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/Sema/ |
| H A D | SemaDeclAttr.cpp | 1256 SetTypestateAttr::ConsumedState NewState; in handleSetTypestateAttr() local
1260 if (!SetTypestateAttr::ConvertStrToConsumedState(Param, NewState)) { in handleSetTypestateAttr()
1271 D->addAttr(::new (S.Context) SetTypestateAttr(S.Context, AL, NewState)); in handleSetTypestateAttr()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/Serialization/ |
| H A D | ASTReader.cpp | 6247 DiagState *NewState = &Diag.DiagStates.back(); in ReadPragmaDiagnosticMappings() local
6248 DiagStates.push_back(NewState); in ReadPragmaDiagnosticMappings()
6259 DiagnosticMapping &Mapping = NewState->getOrAddMapping(DiagID); in ReadPragmaDiagnosticMappings()
6271 return NewState; in ReadPragmaDiagnosticMappings()
|