Searched refs:InitialState (Results 1 – 4 of 4) sorted by relevance
663 int InitialState = OverdefinedState; in addStateStores() local666 InitialState = FinalState = ParentBaseState; in addStateStores()673 if (InitialState == OverdefinedState) in addStateStores()674 InitialState = State; in addStateStores()679 if (InitialState == OverdefinedState) { in addStateStores()684 << " InitialState=" << InitialState << '\n'); in addStateStores()687 InitialStates.insert({BB, InitialState}); in addStateStores()
266 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local268 ProgramStateRef State = InitialState; in checkBeginFunction()303 if (State != InitialState) { in checkBeginFunction()511 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local593 } else if (State != InitialState) { in diagnoseMissingReleases()842 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local845 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()847 if (ReleasedState != InitialState) { in transitionToReleaseValue()
137 char InitialState = 0; member1083 char State = BI.InitialState; in lowerBlock()1299 BI.InitialState = StateWQM; in processBlock()1331 BI.InitialState = State; in processBlock()
1169 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace() argument1179 new (Allocator.Allocate()) StateNode(InitialState, false, nullptr); in analyzeSolutionSpace()1226 reconstructPath(InitialState, Queue.top().second); in analyzeSolutionSpace()