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