3 writes to Alive
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\ControlFlowPass.cs (3)
51
this.
Alive
= live;
82
self.
Alive
&= other.Alive;
91
self.
Alive
|= other.Alive;
16 references to Alive
Microsoft.CodeAnalysis.CSharp (16)
FlowAnalysis\ControlFlowPass.cs (13)
66
get { return
Alive
; }
82
self.Alive &= other.
Alive
;
84
Debug.Assert(!self.
Alive
|| !self.Reported);
85
return self.
Alive
!= old.
Alive
;
91
self.Alive |= other.
Alive
;
93
Debug.Assert(!self.
Alive
|| !self.Reported);
94
return self.
Alive
!= old.
Alive
;
99
return "[alive: " + state.
Alive
+ "; reported: " + state.Reported + "]";
201
return State.
Alive
;
263
if (!this.State.
Alive
&&
377
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
;