reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
379 typename ProgramStateTrait<T>::data_type 381 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); 381 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); 592 ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) { 593 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 594 ProgramStateTrait<T>::MakeVoidPtr(D)); 821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const { 822 return getStateManager().set<T>(this, D);tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
406 if (State->get<InvariantViolated>()) 427 C.addTransition(State->set<InvariantViolated>(true), N); 441 OriginalState = OriginalState->set<InvariantViolated>(true); 475 if (Event.SinkNode->getState()->get<InvariantViolated>()) 532 if (State->get<InvariantViolated>()) 599 State = State->set<InvariantViolated>(true); 646 if (State->get<InvariantViolated>()) 757 if (State->get<InvariantViolated>()) 826 if (State->get<InvariantViolated>()) 941 if (State->get<InvariantViolated>()) 1065 if (State->get<InvariantViolated>()) 1119 State = State->set<InvariantViolated>(true); 1175 if (State->get<InvariantViolated>()) 1182 if (!State->get<InvariantViolated>())