Searched refs:ReplayWithoutInlining (Results 1 – 4 of 4) sorted by relevance
1032 struct ReplayWithoutInlining{}; struct1034 struct ProgramStateTrait<ReplayWithoutInlining> :
594 const void *ReplayState = State->get<ReplayWithoutInlining>(); in getInlineFailedState()601 return State->remove<ReplayWithoutInlining>(); in getInlineFailedState()
2449 NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE)); in replayWithoutInlining()3933 void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() { in GDMIndex()
165 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining). The