Searched defs:InitialState (Results 1 – 4 of 4) sorted by relevance
266 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local511 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local842 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local
663 int InitialState = OverdefinedState; in addStateStores() local
1169 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace()
137 char InitialState = 0; member