5 writes to Value
ILLink.RoslynAnalyzer (5)
DataFlow\LocalDataFlowState.cs (1)
31
Exception.
Value
= Lattice.Meet (Exception.Value, current);
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (3)
331
exceptionState!.
Value
= lattice.Meet (exceptionState!.Value, currentState);
336
exceptionState!.
Value
= lattice.Meet (exceptionState!.Value, exceptionFinallyState!.Value);
385
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)
31
Exception.Value = Lattice.Meet (Exception.
Value
, current);
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (11)
279
currentState = lattice.Meet (currentState, tryExceptionState.
Value
);
287
currentState = lattice.Meet (currentState, previousFilterExceptionState.
Value
);
318
exceptionFinallyState = lattice.Meet (exceptionFinallyState.Value, tryExceptionState.
Value
);
326
TValue? oldExceptionState = exceptionState?.
Value
;
331
exceptionState!.Value = lattice.Meet (exceptionState!.
Value
, currentState);
336
exceptionState!.Value = lattice.Meet (exceptionState!.
Value
, exceptionFinallyState!.Value);
340
TraceBlockInput (currentState, exceptionState?.
Value
, exceptionFinallyState);
375
if (exceptionState?.
Value
.Equals (oldExceptionState!.Value) == false) {
385
tryOrCatchExceptionState.Value = lattice.Meet (tryOrCatchExceptionState!.
Value
, exceptionState!.
Value
);
390
TraceBlockOutput (state.Current, exceptionState?.
Value
, exceptionFinallyState);