| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| Taint.cpp | 90 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);
91 assert(NewState);
92 return NewState;
116 ProgramStateRef NewState = State->remove<TaintMap>(Sym);
117 assert(NewState);
118 return NewState;
139 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs);
140 assert(NewState);
141 return NewState;
|
| Iterator.cpp | 274 ProgramStateRef NewState = State;
281 NewState = NewState->assume(*DV, true);
282 if (!NewState)
291 NewState = NewState->assume(*DV, true);
292 if (!NewState)
296 return NewState;
|
| 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);
667 C.addTransition(NewState);
806 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
807 if (!NewState)
[all...] |
| 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());
|
| NonNullParamChecker.cpp | 269 if (ProgramStateRef NewState = State->assume(StoredVal, true)) {
270 State = NewState;
|
| StdLibraryFunctionsChecker.cpp | 812 ProgramStateRef NewState = State;
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;
849 NewState = Constraint->apply(NewState, Call, Summary, C)
[all...] |
| NullabilityChecker.cpp | 553 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) {
554 Context.addTransition(NewState);
|
| StreamChecker.cpp | 665 StreamState NewState = StreamState::getOpened(Desc, NewES, !NewES.isFEof());
666 StateFailed = StateFailed->set<StreamMap>(StreamSym, NewState);
|
| /src/external/apache2/llvm/dist/llvm/lib/MC/ |
| MCSection.cpp | 39 void MCSection::setBundleLockState(BundleLockStateType NewState) {
40 if (NewState == NotBundleLocked) {
53 BundleLockState = NewState;
|
| /src/external/apache2/llvm/dist/llvm/utils/TableGen/ |
| DFAEmitter.cpp | 200 uint64_t NewState;
299 uint64_t NewState = T.transitionFrom(State);
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...] |
| 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);
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 104 ProgramState NewState = *state;
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);
122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
126 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);
128 return newState;
209 ProgramStateRef newState = makeWithStore(newStore)
[all...] |
| ExprEngine.cpp | 268 if (ProgramStateRef newState = state->assume(*Constraint, true))
269 state = newState;
806 ProgramStateRef NewState = Pred->getState();
809 NewState = processLoopEnd(S, NewState);
812 Bldr.generateNode(PP, NewState, Pred);
1597 ProgramStateRef NewState =
1599 if (NewState != State) {
1600 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1969 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext()
[all...] |
| RangeConstraintManager.cpp | 1490 if (ProgramStateRef NewState = setConstraint(State, Sym, NewConstraint)) {
1495 return track(NewState, *Equality);
1498 return NewState;
|
| /src/external/apache2/llvm/dist/llvm/lib/CodeGen/AsmPrinter/ |
| WinException.cpp | 396 int NewState;
416 LastStateChange.NewState = BaseState;
479 if (!VisitingInvoke && LastStateChange.NewState != BaseState &&
486 LastStateChange.NewState = BaseState;
506 int NewState = StateAndEnd.first;
510 if (NewState == LastStateChange.NewState) {
519 LastStateChange.NewState = NewState;
528 if (LastStateChange.NewState != BaseState)
[all...] |
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SMTConstraintManager.h | 329 ProgramStateRef NewState =
333 NewState->get<ConstraintSMT>().Profile(ID);
341 addStateConstraints(NewState);
|
| 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;
|
| /src/external/apache2/llvm/dist/llvm/include/llvm/MC/ |
| MCSection.h | 141 void setBundleLockState(BundleLockStateType NewState);
|
| /src/external/apache2/llvm/dist/llvm/lib/CodeGen/ |
| RegAllocFast.cpp | 153 void setPhysRegState(MCPhysReg PhysReg, unsigned NewState);
293 void RegAllocFast::setPhysRegState(MCPhysReg PhysReg, unsigned NewState) {
295 RegUnitStates[*UI] = NewState;
|
| /src/external/apache2/llvm/dist/libcxx/src/filesystem/ |
| operations.cpp | 260 void makeState(ParserState NewState, PosPtr Start, PosPtr End) noexcept {
261 State = NewState;
264 void makeState(ParserState NewState) noexcept {
265 State = NewState;
|
| /src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/ |
| RewriteStatepointsForGC.cpp | 969 BDVState NewState(BDV);
973 NewState.meet(OpState);
977 if (OldState != NewState) {
979 States[BDV] = NewState;
|
| NewGVN.cpp | 3051 auto NewState = AllEqual ? MPS_Equivalent : MPS_Unique;
3052 MemoryPhiState[MP] = NewState;
3053 if (setMemoryClass(MP, CC) || OldState != NewState)
|
| /src/external/apache2/llvm/dist/clang/lib/Sema/ |
| SemaDeclAttr.cpp | 1256 SetTypestateAttr::ConsumedState NewState;
1260 if (!SetTypestateAttr::ConvertStrToConsumedState(Param, NewState)) {
1271 D->addAttr(::new (S.Context) SetTypestateAttr(S.Context, AL, NewState));
|
| /src/external/apache2/llvm/dist/clang/lib/Serialization/ |
| ASTReader.cpp | 6247 DiagState *NewState = &Diag.DiagStates.back();
6248 DiagStates.push_back(NewState);
6259 DiagnosticMapping &Mapping = NewState->getOrAddMapping(DiagID);
6271 return NewState;
|
