30 references to PredicateAnalysis
Microsoft.CodeAnalysis.AnalyzerUtilities (30)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (29)
378if (PredicateAnalysis) 444if (PredicateAnalysis && IsReachableBlockData(input)) 756if (PredicateAnalysis && 962if (PredicateAnalysis) 1314if (PredicateAnalysis) 1332if (PredicateAnalysis) 1356Debug.Assert(PredicateAnalysis); 1362Debug.Assert(PredicateAnalysis); 1376if (PredicateAnalysis) 1386Debug.Assert(PredicateAnalysis); 1544Debug.Assert(PredicateAnalysis); 1825Debug.Assert(PredicateAnalysis); 1850Debug.Assert(PredicateAnalysis); 1894Debug.Assert(PredicateAnalysis); 1900Debug.Assert(PredicateAnalysis); 1906Debug.Assert(PredicateAnalysis); 1912Debug.Assert(PredicateAnalysis); 1921Debug.Assert(PredicateAnalysis); 1927Debug.Assert(PredicateAnalysis); 1933Debug.Assert(PredicateAnalysis); 2359if (PredicateAnalysis) 2992if (!PredicateAnalysis) 3025if (!PredicateAnalysis) 3075if (PredicateAnalysis && IsContractCheckArgument(operation)) 3228if (PredicateAnalysis && 3711if (PredicateAnalysis && operation.OperatorKind == UnaryOperatorKind.Not) 3727if (PredicateAnalysis && operation.IsComparisonOperator()) 3738if (PredicateAnalysis) 3854if (PredicateAnalysis)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (1)
30Debug.Assert(PredicateAnalysis);