Searched defs:InitialState (Results 1 – 4 of 4) sorted by relevance
271 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local518 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local832 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local
662 InitialState = FinalState = ParentBaseState; in addStateStores() local
1214 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace()
137 char InitialState = 0; member