5 references to
Microsoft.CodeAnalysis.AnalyzerUtilities (5)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (5)
256var input = resultBuilder[block]; 388var currentSuccessorInput = resultBuilder[successorBlock]; 519var catchBlockInputData = resultBuilder[catchBlock]; 782Debug.Assert(builder[block] == null || AnalysisDomain.Compare(builder[block]!, newInput) <= 0, "Non-monotonic update");