Searched defs:InitialState (Results 1 – 5 of 5) sorted by relevance
74 State InitialState; member
271 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local518 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local832 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local
680 int InitialState = OverdefinedState; in addStateStores() local
1272 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace()
139 char InitialState = 0; member