1 write to lattice
ILLink.RoslynAnalyzer (1)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (1)
187
this.
lattice
= lattice;
22 references to lattice
ILLink.RoslynAnalyzer (22)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (19)
199
TValue branchState =
lattice
.Meet(
lattice
.Top, state.Current);
222
var cfgState = new ControlFlowGraphState(cfg,
lattice
, entryValue);
235
Lattice =
lattice
,
236
Current =
lattice
.Top,
241
Lattice =
lattice
,
242
Current =
lattice
.Top,
278
TValue currentState =
lattice
.Top;
285
currentState =
lattice
.Meet(currentState, predecessorState);
293
currentState =
lattice
.Meet(currentState, tryExceptionState.Value);
302
currentState =
lattice
.Meet(currentState, previousFilterExceptionState.Value);
308
currentState =
lattice
.Meet(currentState, finallyInputState);
317
exceptionFinallyState =
lattice
.Top;
325
exceptionFinallyState =
lattice
.Meet(exceptionFinallyState.Value, predecessorState);
337
exceptionFinallyState =
lattice
.Meet(exceptionFinallyState.Value, tryExceptionState.Value);
351
exceptionState!.Value =
lattice
.Meet(exceptionState!.Value, currentState);
357
exceptionState!.Value =
lattice
.Meet(exceptionState!.Value, exceptionFinallyState!.Value);
411
tryOrCatchExceptionState.Value =
lattice
.Meet(tryOrCatchExceptionState!.Value, exceptionState!.Value);
427
TValue finallyInputState =
lattice
.Meet(oldFinallyInputState, predecessorState);
TrimAnalysis\TrimDataFlowAnalysis.cs (3)
51
TrimAnalysisPatterns = new TrimAnalysisPatternStore(
lattice
.LocalStateLattice.Lattice.ValueLattice,
lattice
.ContextLattice);
65
=> new(Context.Compilation,
lattice
, owningSymbol, methodCFG, lValueFlowCaptures, TrimAnalysisPatterns, interproceduralState, _dataFlowAnalyzerContext);