26 writes to State
Microsoft.CodeAnalysis.VisualBasic (26)
Analysis\FlowAnalysis\AbstractFlowPass.vb (17)
138
Me.
State
= Nothing
146
Me.
State
= _state
371
IntersectWith(Me.
State
, previousState)
385
If IntersectWith(oldState, Me.
State
) Then
439
IntersectWith(Me.
State
, pending.State)
1411
Me.IntersectWith(Me.
State
, trueState)
1441
Me.IntersectWith(Me.
State
, trueState)
1476
IntersectWith(Me.
State
, savedState)
1487
IntersectWith(Me.
State
, savedState)
1492
IntersectWith(Me.
State
, savedState)
1502
IntersectWith(Me.
State
, savedState)
1506
IntersectWith(Me.
State
, savedState)
1845
Me.IntersectWith(Me.
State
, localState)
2037
IntersectWith(endState, Me.
State
)
2059
Me.UnionWith(pend.State, Me.
State
)
2067
Me.UnionWith(endState, Me.
State
)
2517
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
)
1709
Me.IntersectWith(finalState, Me.
State
)
1722
Me.IntersectWith(finalState, Me.
State
)
67 references to State
Microsoft.CodeAnalysis.VisualBasic (67)
Analysis\FlowAnalysis\AbstractFlowPass.vb (28)
157
SetConditionalState(Me.
State
, Me.
State
.Clone())
373
Me._loopHeadState(node) = Me.
State
.Clone()
778
Me.SetConditionalState(Me.
State
, UnreachableState())
781
Me.SetConditionalState(UnreachableState(), Me.
State
)
1159
savedState = Me.
State
.Clone()
1406
trueState = Me.
State
1437
trueState = Me.
State
1454
Dim savedState As LocalState = Me.
State
.Clone()
1466
Dim savedState As LocalState = Me.
State
.Clone()
1474
Dim savedState As LocalState = Me.
State
.Clone()
1484
Dim savedState As LocalState = Me.
State
.Clone()
1490
savedState = Me.
State
.Clone()
1499
Dim savedState As LocalState = Me.
State
.Clone()
1504
savedState = Me.
State
.Clone()
1519
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
1528
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
1758
Dim saved As LocalState = Me.
State
.Clone()
1800
ResolveBreaks(Me.
State
, node.ExitLabel)
1824
Dim savedState As LocalState = Me.
State
.Clone()
1837
caseBlockStateBuilder.Add(Me.
State
.Clone())
2027
Dim initialState = Me.
State
.Clone()
2031
Dim endState = Me.
State
2425
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
2431
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
2506
Me._pendingBranches.Add(New PendingBranch(node, Me.
State
, Me._nesting))
2518
Me._labels(label) = New LabelStateAndNesting(node, Me.
State
.Clone(), Me._nesting)
2623
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
1070
Return Me.
State
.IsAssigned(unassignedSlot)
1224
If Not Me.
State
.FunctionAssignedValue AndAlso Not _seenOnErrorOrResume Then
1346
Dim written As Boolean = assigned OrElse Not Me.
State
.Reachable
1357
Dim written As Boolean = assigned OrElse Not Me.
State
.Reachable
1541
Me.
State
.Assign(slot)
1547
If Me.
State
.Reachable Then
1557
If Not Me.
State
.IsAssigned(slot) Then
1601
Return Not Me.
State
.Reachable OrElse
1697
Dim finalState As LocalState = Me.
State
1699
Me.
State
.Assigned(SlotKind.FunctionValue) = False
1707
Me.
State
.Assigned(SlotKind.FunctionValue) = True
1717
Dim finalState As LocalState = Me.
State
.Clone()
1950
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