5 writes to Value
ILLink.RoslynAnalyzer (5)
DataFlow\LocalDataFlowState.cs (1)
32
Exception.
Value
= Lattice.Meet(Exception.Value, current);
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (3)
355
exceptionState!.
Value
= lattice.Meet(exceptionState.Value, currentState);
361
exceptionState.
Value
= lattice.Meet(exceptionState.Value, exceptionFinallyState!.Value);
415
tryOrCatchExceptionState.
Value
= lattice.Meet(tryOrCatchExceptionState.Value, exceptionState!.Value);
src\tools\illink\src\ILLink.Shared\DataFlow\IDataFlowState.cs (1)
13
public Box(T value) =>
Value
= value;
12 references to Value
ILLink.RoslynAnalyzer (12)
DataFlow\LocalDataFlowState.cs (1)
32
Exception.Value = Lattice.Meet(Exception.
Value
, current);
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (11)
297
currentState = lattice.Meet(currentState, tryExceptionState.
Value
);
306
currentState = lattice.Meet(currentState, previousFilterExceptionState.
Value
);
341
exceptionFinallyState = lattice.Meet(exceptionFinallyState.Value, tryExceptionState.
Value
);
349
TValue? oldExceptionState = exceptionState?.
Value
;
355
exceptionState!.Value = lattice.Meet(exceptionState.
Value
, currentState);
361
exceptionState.Value = lattice.Meet(exceptionState.
Value
, exceptionFinallyState!.Value);
365
TraceBlockInput(currentState, exceptionState?.
Value
, exceptionFinallyState);
403
if (exceptionState?.
Value
.Equals(oldExceptionState!.Value) == false)
415
tryOrCatchExceptionState.Value = lattice.Meet(tryOrCatchExceptionState.
Value
, exceptionState!.
Value
);
420
TraceBlockOutput(state.Current, exceptionState?.
Value
, exceptionFinallyState);