3 writes to Alive
Microsoft.CodeAnalysis.VisualBasic (3)
Analysis\FlowAnalysis\ControlFlowPass.LocalState.vb (3)
20
self.
Alive
= self.Alive Or other.Alive
27
self.
Alive
= self.Alive And other.Alive
39
Me.
Alive
= live
12 references to Alive
Microsoft.CodeAnalysis.VisualBasic (12)
Analysis\FlowAnalysis\ControlFlowPass.LocalState.vb (7)
20
self.Alive = self.
Alive
Or other.
Alive
22
Debug.Assert(Not self.
Alive
OrElse Not self.Reported)
27
self.Alive = self.
Alive
And other.
Alive
29
Debug.Assert(Not self.
Alive
OrElse Not self.Reported)
51
Return "[alive: " & state.
Alive
& "; reported: " & state.Reported & "]"
Analysis\FlowAnalysis\ControlFlowPass.vb (2)
61
Return walker.State.
Alive
81
If Not Me.State.
Alive
AndAlso Not Me.State.Reported Then
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