3 writes to Alive
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\ControlFlowPass.cs (3)
50
this.
Alive
= live;
81
self.
Alive
&= other.Alive;
90
self.
Alive
|= other.Alive;
16 references to Alive
Microsoft.CodeAnalysis.CSharp (16)
FlowAnalysis\ControlFlowPass.cs (13)
65
get { return
Alive
; }
81
self.Alive &= other.
Alive
;
83
Debug.Assert(!self.
Alive
|| !self.Reported);
84
return self.
Alive
!= old.
Alive
;
90
self.Alive |= other.
Alive
;
92
Debug.Assert(!self.
Alive
|| !self.Reported);
93
return self.
Alive
!= old.
Alive
;
98
return "[alive: " + state.
Alive
+ "; reported: " + state.Reported + "]";
200
return State.
Alive
;
262
if (!this.State.
Alive
&&
376
if (this.State.
Alive
)
FlowAnalysis\RegionReachableWalker.cs (3)
27
endPointIsReachable = badRegion || walker._regionEndPointIsReachable.GetValueOrDefault(walker.State.
Alive
);
46
_regionStartPointIsReachable = this.State.
Alive
;
52
_regionEndPointIsReachable = this.State.
Alive
;