Searched defs:InitialState (Results 1 – 4 of 4) sorted by relevance
271 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local 518 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local 832 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local
659 int InitialState = OverdefinedState; in addStateStores() local
1205 analyzeSolutionSpace(LineState & InitialState,bool DryRun) analyzeSolutionSpace() argument
137 char InitialState = 0; member