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