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()
265 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local267 ProgramStateRef State = InitialState; in checkBeginFunction()302 if (State != InitialState) { in checkBeginFunction()510 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local592 } else if (State != InitialState) { in diagnoseMissingReleases()841 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local844 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()846 if (ReleasedState != InitialState) { in transitionToReleaseValue()
139 char InitialState = 0; member1030 char State = BI.InitialState; in lowerBlock()1229 BI.InitialState = StateWQM; in processBlock()1261 BI.InitialState = State; in processBlock()
993 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace() argument1003 new (Allocator.Allocate()) StateNode(InitialState, false, nullptr); in analyzeSolutionSpace()1045 reconstructPath(InitialState, Queue.top().second); in analyzeSolutionSpace()