1 write to lattice
ILLink.RoslynAnalyzer (1)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (1)
181
this.
lattice
= lattice;
22 references to lattice
ILLink.RoslynAnalyzer (22)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (19)
192
TValue branchState =
lattice
.Meet (
lattice
.Top, state.Current);
214
var cfgState = new ControlFlowGraphState (cfg,
lattice
, entryValue);
226
Lattice =
lattice
,
227
Current =
lattice
.Top,
231
Lattice =
lattice
,
232
Current =
lattice
.Top,
266
TValue currentState =
lattice
.Top;
272
currentState =
lattice
.Meet (currentState, predecessorState);
279
currentState =
lattice
.Meet (currentState, tryExceptionState.Value);
287
currentState =
lattice
.Meet (currentState, previousFilterExceptionState.Value);
292
currentState =
lattice
.Meet (currentState, finallyInputState);
300
exceptionFinallyState =
lattice
.Top;
307
exceptionFinallyState =
lattice
.Meet (exceptionFinallyState.Value, predecessorState);
318
exceptionFinallyState =
lattice
.Meet (exceptionFinallyState.Value, tryExceptionState.Value);
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);
400
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);