Home | History | Annotate | Download | only in Core

Lines Matching defs:getInitialState

94 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
95   ProgramStateRef state = StateMgr.getInitialState(InitLoc);