1 write to lattice
ILLink.RoslynAnalyzer (1)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (1)
187this.lattice = lattice;
22 references to lattice
ILLink.RoslynAnalyzer (22)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (19)
199TValue branchState = lattice.Meet(lattice.Top, state.Current); 222var cfgState = new ControlFlowGraphState(cfg, lattice, entryValue); 235Lattice = lattice, 236Current = lattice.Top, 241Lattice = lattice, 242Current = lattice.Top, 282TValue currentState = lattice.Top; 289currentState = lattice.Meet(currentState, predecessorState); 297currentState = lattice.Meet(currentState, tryExceptionState.Value); 306currentState = lattice.Meet(currentState, previousFilterExceptionState.Value); 312currentState = lattice.Meet(currentState, finallyInputState); 321exceptionFinallyState = lattice.Top; 329exceptionFinallyState = lattice.Meet(exceptionFinallyState.Value, predecessorState); 341exceptionFinallyState = lattice.Meet(exceptionFinallyState.Value, tryExceptionState.Value); 355exceptionState!.Value = lattice.Meet(exceptionState.Value, currentState); 361exceptionState.Value = lattice.Meet(exceptionState.Value, exceptionFinallyState!.Value); 415tryOrCatchExceptionState.Value = lattice.Meet(tryOrCatchExceptionState.Value, exceptionState!.Value); 433TValue finallyInputState = lattice.Meet(oldFinallyInputState, predecessorState);
TrimAnalysis\TrimDataFlowAnalysis.cs (3)
51TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.LocalStateLattice.Lattice.ValueLattice, lattice.ContextLattice); 65=> new(Context.Compilation, lattice, owningSymbol, methodCFG, lValueFlowCaptures, TrimAnalysisPatterns, interproceduralState, _dataFlowAnalyzerContext);