Searched refs:InitialState (Results 1 – 3 of 3) sorted by relevance
674 int InitialState = OverdefinedState; in addStateStores() local677 InitialState = FinalState = ParentBaseState; in addStateStores()684 if (InitialState == OverdefinedState) in addStateStores()685 InitialState = State; in addStateStores()690 if (InitialState == OverdefinedState) { in addStateStores()695 << " InitialState=" << InitialState << '\n'); in addStateStores()698 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() local594 } else if (State != InitialState) { in diagnoseMissingReleases()843 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local846 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()848 if (ReleasedState != InitialState) { in transitionToReleaseValue()
899 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace() argument909 new (Allocator.Allocate()) StateNode(InitialState, false, nullptr); in analyzeSolutionSpace()951 reconstructPath(InitialState, Queue.top().second); in analyzeSolutionSpace()