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