Searched refs:InitialState (Results 1 – 4 of 4) sorted by relevance
271 ProgramStateRef InitialState = C.getState(); in checkBeginFunction() local273 ProgramStateRef State = InitialState; in checkBeginFunction()308 if (State != InitialState) { in checkBeginFunction()518 ProgramStateRef InitialState = State; in diagnoseMissingReleases() local600 } else if (State != InitialState) { in diagnoseMissingReleases()832 ProgramStateRef InitialState = C.getState(); in transitionToReleaseValue() local835 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()837 if (ReleasedState != InitialState) { in transitionToReleaseValue()
659 int InitialState = OverdefinedState; in addStateStores() 662 InitialState = FinalState = ParentBaseState; in addStateStores() local 669 if (InitialState == OverdefinedState) in addStateStores() 670 InitialState = State; in addStateStores() 675 if (InitialState == OverdefinedState) { in addStateStores() 680 << " InitialState=" << InitialState << '\n'); in addStateStores() 683 InitialStates.insert({BB, InitialState}); in addStateStores() 713 // Update our FinalState to reflect the common InitialState of our in addStateStores()
137 char InitialState = 0; member1045 char State = BI.InitialState; in lowerBlock()1251 BI.InitialState = StateWQM; in processBlock()1284 BI.InitialState = State; in processBlock()
1214 unsigned analyzeSolutionSpace(LineState &InitialState, bool DryRun) { in analyzeSolutionSpace() argument1224 new (Allocator.Allocate()) StateNode(InitialState, false, nullptr); in analyzeSolutionSpace()1271 reconstructPath(InitialState, Queue.top().second); in analyzeSolutionSpace()