26 writes to State
Microsoft.CodeAnalysis.VisualBasic (26)
Analysis\FlowAnalysis\AbstractFlowPass.vb (17)
146
Me.
State
= Nothing
154
Me.
State
= _state
362
IntersectWith(Me.
State
, previousState)
376
If IntersectWith(oldState, Me.
State
) Then
430
IntersectWith(Me.
State
, pending.State)
1395
Me.IntersectWith(Me.
State
, trueState)
1425
Me.IntersectWith(Me.
State
, trueState)
1460
IntersectWith(Me.
State
, savedState)
1471
IntersectWith(Me.
State
, savedState)
1476
IntersectWith(Me.
State
, savedState)
1486
IntersectWith(Me.
State
, savedState)
1490
IntersectWith(Me.
State
, savedState)
1829
Me.IntersectWith(Me.
State
, localState)
2021
IntersectWith(endState, Me.
State
)
2043
Me.UnionWith(pend.State, Me.
State
)
2051
Me.UnionWith(endState, Me.
State
)
2501
Me.IntersectWith(Me.
State
, _state)
Analysis\FlowAnalysis\AbstractRegionControlFlowPass.vb (1)
39
Me.IntersectWith(finalState, Me.
State
)
Analysis\FlowAnalysis\DataFlowPass.vb (8)
517
Me.Normalize(Me.
State
)
674
Normalize(Me.
State
)
683
SetSlotUnassigned(slot, Me.
State
)
740
Normalize(Me.
State
)
793
SetSlotAssigned(slot, Me.
State
)
968
Normalize(Me.
State
)
1703
Me.IntersectWith(finalState, Me.
State
)
1716
Me.IntersectWith(finalState, Me.
State
)
67 references to State
Microsoft.CodeAnalysis.VisualBasic (67)
Analysis\FlowAnalysis\AbstractFlowPass.vb (28)
165
SetConditionalState(Me.
State
, Me.
State
.Clone())
364
Me._loopHeadState(node) = Me.
State
.Clone()
769
Me.SetConditionalState(Me.
State
, UnreachableState())
772
Me.SetConditionalState(UnreachableState(), Me.
State
)
1150
savedState = Me.
State
.Clone()
1390
trueState = Me.
State
1421
trueState = Me.
State
1438
Dim savedState As LocalState = Me.
State
.Clone()
1450
Dim savedState As LocalState = Me.
State
.Clone()
1458
Dim savedState As LocalState = Me.
State
.Clone()
1468
Dim savedState As LocalState = Me.
State
.Clone()
1474
savedState = Me.
State
.Clone()
1483
Dim savedState As LocalState = Me.
State
.Clone()
1488
savedState = Me.
State
.Clone()
1503
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
1512
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
1742
Dim saved As LocalState = Me.
State
.Clone()
1784
ResolveBreaks(Me.
State
, node.ExitLabel)
1808
Dim savedState As LocalState = Me.
State
.Clone()
1821
caseBlockStateBuilder.Add(Me.
State
.Clone())
2011
Dim initialState = Me.
State
.Clone()
2015
Dim endState = Me.
State
2409
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
2415
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
2490
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
2502
Me._labels(label) = New LabelStateAndNesting(node, Me.
State
.Clone(), Me._nesting)
2607
Dim savedState As LocalState = Me.
State
.Clone()
Analysis\FlowAnalysis\AbstractRegionControlFlowPass.vb (1)
34
Dim finalState As LocalState = Me.
State
Analysis\FlowAnalysis\AlwaysAssignedWalker.vb (1)
69
_endOfRegionState = MyBase.
State
.Clone()
Analysis\FlowAnalysis\ControlFlowPass.vb (7)
33
Return New LocalState(False, Me.
State
.Reported)
61
Return walker.
State
.Alive
81
If Not Me.
State
.Alive AndAlso Not Me.
State
.Reported Then
90
Me.
State
.Reported = True
101
Me.
State
.Reported = True
111
Me.
State
.Reported = True
Analysis\FlowAnalysis\DataFlowPass.vb (21)
673
If slot >= Me.
State
.Assigned.Capacity Then
739
If slot >= Me.
State
.Assigned.Capacity Then
920
Me.
State
.Assign(slot)
922
Me.
State
.Unassign(slot)
967
If slot >= Me.
State
.Assigned.Capacity Then
971
If slot >= SlotKind.FirstAvailable AndAlso Me.
State
.Reachable AndAlso Not Me.
State
.IsAssigned(slot) Then
984
If Me.
State
.Reachable AndAlso Not IsAssigned(fieldAccess, unassignedSlot) Then
1064
Return Me.
State
.IsAssigned(unassignedSlot)
1218
If Not Me.
State
.FunctionAssignedValue AndAlso Not _seenOnErrorOrResume Then
1340
Dim written As Boolean = assigned OrElse Not Me.
State
.Reachable
1351
Dim written As Boolean = assigned OrElse Not Me.
State
.Reachable
1535
Me.
State
.Assign(slot)
1541
If Me.
State
.Reachable Then
1551
If Not Me.
State
.IsAssigned(slot) Then
1595
Return Not Me.
State
.Reachable OrElse
1691
Dim finalState As LocalState = Me.
State
1693
Me.
State
.Assigned(SlotKind.FunctionValue) = False
1701
Me.
State
.Assigned(SlotKind.FunctionValue) = True
1711
Dim finalState As LocalState = Me.
State
.Clone()
1944
If Not Me.
State
.Reachable Then
Analysis\FlowAnalysis\DataFlowsInWalker.vb (2)
62
Me.SetState(ResetState(Me.
State
))
101
If Not Me.
State
.IsAssigned(VariableSlot(firstLocal)) Then
Analysis\FlowAnalysis\DataFlowsOutWalker.vb (3)
72
If Not Me.
State
.IsAssigned(slot) AndAlso variable.Kind <> SymbolKind.RangeVariable AndAlso
98
If Me.
State
.Reachable Then
176
If Me.
State
.Reachable Then
Analysis\FlowAnalysis\DefinitelyAssignedWalker.vb (1)
58
Me.ProcessState(definitelyAssigned, Me.
State
, state2opt:=Nothing)
Analysis\FlowAnalysis\RegionReachableWalker.vb (3)
27
endPointIsReachable = If(walker._regionEndPointIsReachable.HasValue, walker._regionEndPointIsReachable.Value, walker.
State
.Alive)
45
_regionStartPointIsReachable =
State
.Alive
50
_regionEndPointIsReachable =
State
.Alive