26 writes to State
Microsoft.CodeAnalysis.VisualBasic (26)
Analysis\FlowAnalysis\AbstractFlowPass.vb (17)
138Me.State = Nothing 146Me.State = _state 371IntersectWith(Me.State, previousState) 385If IntersectWith(oldState, Me.State) Then 439IntersectWith(Me.State, pending.State) 1411Me.IntersectWith(Me.State, trueState) 1441Me.IntersectWith(Me.State, trueState) 1476IntersectWith(Me.State, savedState) 1487IntersectWith(Me.State, savedState) 1492IntersectWith(Me.State, savedState) 1502IntersectWith(Me.State, savedState) 1506IntersectWith(Me.State, savedState) 1845Me.IntersectWith(Me.State, localState) 2037IntersectWith(endState, Me.State) 2059Me.UnionWith(pend.State, Me.State) 2067Me.UnionWith(endState, Me.State) 2517Me.IntersectWith(Me.State, _state)
Analysis\FlowAnalysis\AbstractRegionControlFlowPass.vb (1)
39Me.IntersectWith(finalState, Me.State)
Analysis\FlowAnalysis\DataFlowPass.vb (8)
517Me.Normalize(Me.State) 674Normalize(Me.State) 683SetSlotUnassigned(slot, Me.State) 740Normalize(Me.State) 793SetSlotAssigned(slot, Me.State) 968Normalize(Me.State) 1709Me.IntersectWith(finalState, Me.State) 1722Me.IntersectWith(finalState, Me.State)
67 references to State
Microsoft.CodeAnalysis.VisualBasic (67)
Analysis\FlowAnalysis\AbstractFlowPass.vb (28)
157SetConditionalState(Me.State, Me.State.Clone()) 373Me._loopHeadState(node) = Me.State.Clone() 778Me.SetConditionalState(Me.State, UnreachableState()) 781Me.SetConditionalState(UnreachableState(), Me.State) 1159savedState = Me.State.Clone() 1406trueState = Me.State 1437trueState = Me.State 1454Dim savedState As LocalState = Me.State.Clone() 1466Dim savedState As LocalState = Me.State.Clone() 1474Dim savedState As LocalState = Me.State.Clone() 1484Dim savedState As LocalState = Me.State.Clone() 1490savedState = Me.State.Clone() 1499Dim savedState As LocalState = Me.State.Clone() 1504savedState = Me.State.Clone() 1519Me._pendingBranches.Add(New PendingBranch(node, Me.State, Me._nesting)) 1528Me._pendingBranches.Add(New PendingBranch(node, Me.State, Me._nesting)) 1758Dim saved As LocalState = Me.State.Clone() 1800ResolveBreaks(Me.State, node.ExitLabel) 1824Dim savedState As LocalState = Me.State.Clone() 1837caseBlockStateBuilder.Add(Me.State.Clone()) 2027Dim initialState = Me.State.Clone() 2031Dim endState = Me.State 2425Me._pendingBranches.Add(New PendingBranch(node, Me.State, Me._nesting)) 2431Me._pendingBranches.Add(New PendingBranch(node, Me.State, Me._nesting)) 2506Me._pendingBranches.Add(New PendingBranch(node, Me.State, Me._nesting)) 2518Me._labels(label) = New LabelStateAndNesting(node, Me.State.Clone(), Me._nesting) 2623Dim savedState As LocalState = Me.State.Clone()
Analysis\FlowAnalysis\AbstractRegionControlFlowPass.vb (1)
34Dim finalState As LocalState = Me.State
Analysis\FlowAnalysis\AlwaysAssignedWalker.vb (1)
69_endOfRegionState = MyBase.State.Clone()
Analysis\FlowAnalysis\ControlFlowPass.vb (7)
33Return New LocalState(False, Me.State.Reported) 61Return walker.State.Alive 81If Not Me.State.Alive AndAlso Not Me.State.Reported Then 90Me.State.Reported = True 101Me.State.Reported = True 111Me.State.Reported = True
Analysis\FlowAnalysis\DataFlowPass.vb (21)
673If slot >= Me.State.Assigned.Capacity Then 739If slot >= Me.State.Assigned.Capacity Then 920Me.State.Assign(slot) 922Me.State.Unassign(slot) 967If slot >= Me.State.Assigned.Capacity Then 971If slot >= SlotKind.FirstAvailable AndAlso Me.State.Reachable AndAlso Not Me.State.IsAssigned(slot) Then 984If Me.State.Reachable AndAlso Not IsAssigned(fieldAccess, unassignedSlot) Then 1070Return Me.State.IsAssigned(unassignedSlot) 1224If Not Me.State.FunctionAssignedValue AndAlso Not _seenOnErrorOrResume Then 1346Dim written As Boolean = assigned OrElse Not Me.State.Reachable 1357Dim written As Boolean = assigned OrElse Not Me.State.Reachable 1541Me.State.Assign(slot) 1547If Me.State.Reachable Then 1557If Not Me.State.IsAssigned(slot) Then 1601Return Not Me.State.Reachable OrElse 1697Dim finalState As LocalState = Me.State 1699Me.State.Assigned(SlotKind.FunctionValue) = False 1707Me.State.Assigned(SlotKind.FunctionValue) = True 1717Dim finalState As LocalState = Me.State.Clone() 1950If Not Me.State.Reachable Then
Analysis\FlowAnalysis\DataFlowsInWalker.vb (2)
62Me.SetState(ResetState(Me.State)) 101If Not Me.State.IsAssigned(VariableSlot(firstLocal)) Then
Analysis\FlowAnalysis\DataFlowsOutWalker.vb (3)
72If Not Me.State.IsAssigned(slot) AndAlso variable.Kind <> SymbolKind.RangeVariable AndAlso 98If Me.State.Reachable Then 176If Me.State.Reachable Then
Analysis\FlowAnalysis\DefinitelyAssignedWalker.vb (1)
58Me.ProcessState(definitelyAssigned, Me.State, state2opt:=Nothing)
Analysis\FlowAnalysis\RegionReachableWalker.vb (3)
27endPointIsReachable = If(walker._regionEndPointIsReachable.HasValue, walker._regionEndPointIsReachable.Value, walker.State.Alive) 45_regionStartPointIsReachable = State.Alive 50_regionEndPointIsReachable = State.Alive