Searched refs:ReplayWithoutInlining (Results 1 – 3 of 3) sorted by relevance
1009 struct ReplayWithoutInlining{}; struct1011 struct ProgramStateTrait<ReplayWithoutInlining> :
592 const void *ReplayState = State->get<ReplayWithoutInlining>(); in getInlineFailedState()599 return State->remove<ReplayWithoutInlining>(); in getInlineFailedState()
2470 NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE)); in replayWithoutInlining()3948 void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() { in GDMIndex()