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