| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 90 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); local
91 assert(NewState);
92 return NewState;
116 ProgramStateRef NewState = State->remove<TaintMap>(Sym); local
117 assert(NewState);
118 return NewState;
139 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs); local
140 assert(NewState);
141 return NewState;
|
| H A D | Iterator.cpp | 274 ProgramStateRef NewState = State; local
281 NewState = NewState->assume(*DV, true);
282 if (!NewState)
291 NewState = NewState->assume(*DV, true);
292 if (!NewState)
296 return NewState;
|
| H A D | 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); local
667 C.addTransition(NewState);
806 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); local
807 if (!NewState)
[all...] |
| H A D | CastValueChecker.cpp | 308 ProgramStateRef NewState = State;
310 NewState = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy,
316 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(),
323 C.generateSink(NewState, C.getPredecessor());
|
| H A D | NonNullParamChecker.cpp | 269 if (ProgramStateRef NewState = State->assume(StoredVal, true)) {
270 State = NewState;
|
| H A D | StdLibraryFunctionsChecker.cpp | 812 ProgramStateRef NewState = State; local
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; local
849 NewState
[all...] |
| H A D | StreamChecker.cpp | 665 StreamState NewState = StreamState::getOpened(Desc, NewES, !NewES.isFEof()); local
666 StateFailed = StateFailed->set<StreamMap>(StreamSym, NewState);
|
| H A D | NullabilityChecker.cpp | 553 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) {
554 Context.addTransition(NewState);
|
| /netbsd-current/external/apache2/llvm/dist/llvm/lib/MC/ |
| H A D | MCSection.cpp | 39 void MCSection::setBundleLockState(BundleLockStateType NewState) { argument
40 if (NewState == NotBundleLocked) {
53 BundleLockState = NewState;
|
| /netbsd-current/external/apache2/llvm/dist/llvm/utils/TableGen/ |
| H A D | DFAEmitter.cpp | 200 uint64_t NewState; member in class:__anon3290::Transition
299 uint64_t NewState = T.transitionFrom(State); local
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...] |
| H A D | DFAPacketizerEmitter.cpp | 327 for (uint64_t NewState : applyInsnClass(Resources, State)) {
328 if (SeenStates.emplace(NewState).second)
329 Worklist.emplace_back(NewState);
330 Emitter.addTransition(State, NewState, ResourcesID);
|
| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 104 ProgramState NewState = *state; local
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);
403 ProgramState NewState(*FromState);
404 NewState.GDM = GDMState->GDM;
405 return getPersistentState(NewState);
530 ProgramState NewState
[all...] |
| H A D | ExprEngine.cpp | 806 ProgramStateRef NewState = Pred->getState(); local
809 NewState = processLoopEnd(S, NewState);
812 Bldr.generateNode(PP, NewState, Pred);
1597 ProgramStateRef NewState = local
1599 if (NewState != State) {
1600 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1969 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(), local
1971 if (NewState != Pred->getState()) {
1972 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pre
[all...] |
| H A D | RangeConstraintManager.cpp | 1490 if (ProgramStateRef NewState = setConstraint(State, Sym, NewConstraint)) {
1495 return track(NewState, *Equality);
1498 return NewState;
|
| /netbsd-current/external/apache2/llvm/dist/llvm/lib/CodeGen/AsmPrinter/ |
| H A D | WinException.cpp | 396 int NewState; member in struct:__anon1736::InvokeStateChange
416 LastStateChange.NewState = BaseState;
479 if (!VisitingInvoke && LastStateChange.NewState != BaseState &&
486 LastStateChange.NewState = BaseState;
506 int NewState = StateAndEnd.first; local
510 if (NewState == LastStateChange.NewState) {
519 LastStateChange.NewState = NewState;
528 if (LastStateChange.NewState !
[all...] |
| /netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 329 ProgramStateRef NewState = local
333 NewState->get<ConstraintSMT>().Profile(ID);
341 addStateConstraints(NewState);
|
| H A D | CallEvent.h | 373 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
376 CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
377 return cloneWithState<CallEvent>(NewState);
1436 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const {
1441 if (NewState == State)
1449 Copy->State = NewState;
|
| /netbsd-current/external/apache2/llvm/dist/llvm/include/llvm/MC/ |
| H A D | MCSection.h | 141 void setBundleLockState(BundleLockStateType NewState);
|
| /netbsd-current/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) { argument
295 RegUnitStates[*UI] = NewState;
|
| /netbsd-current/external/apache2/llvm/dist/libcxx/src/filesystem/ |
| H A D | operations.cpp | 260 void makeState(ParserState NewState, PosPtr Start, PosPtr End) noexcept {
261 State = NewState;
264 void makeState(ParserState NewState) noexcept {
265 State = NewState;
|
| /netbsd-current/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/ |
| H A D | RewriteStatepointsForGC.cpp | 969 BDVState NewState(BDV);
973 NewState.meet(OpState);
977 if (OldState != NewState) {
979 States[BDV] = NewState;
|
| H A D | NewGVN.cpp | 3051 auto NewState = AllEqual ? MPS_Equivalent : MPS_Unique;
3052 MemoryPhiState[MP] = NewState;
3053 if (setMemoryClass(MP, CC) || OldState != NewState)
|
| /netbsd-current/external/apache2/llvm/dist/clang/lib/Sema/ |
| H A D | SemaDeclAttr.cpp | 1256 SetTypestateAttr::ConsumedState NewState;
1260 if (!SetTypestateAttr::ConvertStrToConsumedState(Param, NewState)) {
1271 D->addAttr(::new (S.Context) SetTypestateAttr(S.Context, AL, NewState));
|
| /netbsd-current/external/apache2/llvm/dist/clang/lib/Serialization/ |
| H A D | ASTReader.cpp | 6247 DiagState *NewState = &Diag.DiagStates.back();
6248 DiagStates.push_back(NewState);
6259 DiagnosticMapping &Mapping = NewState->getOrAddMapping(DiagID);
6271 return NewState;
|