reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  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));
  626     return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
  817   return getStateManager().remove<T>(this);
  821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
  822   return getStateManager().set<T>(this, D);

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

 1889     NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE));

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

  486   const void *ReplayState = State->get<ReplayWithoutInlining>();
  493   return State->remove<ReplayWithoutInlining>();