3 writes to AlwaysSucceed
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\ConversionInference.cs (1)
37
AlwaysSucceed
= !isTryCast, // For direct cast, we assume the cast will always succeed as the initial default value.
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (2)
1288
inference.
AlwaysSucceed
= direct;
1339
inference.
AlwaysSucceed
= true;
7 references to AlwaysSucceed
Microsoft.CodeAnalysis.AnalyzerUtilities (7)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (2)
628
Debug.Assert(!inference.
AlwaysSucceed
|| !inference.AlwaysFail);
642
if (inference.IsTryCast && inference.
AlwaysSucceed
||
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (2)
1193
Debug.Assert(!inference.
AlwaysSucceed
|| !inference.AlwaysFail);
1198
else if (inference.IsTryCast && !inference.
AlwaysSucceed
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\ConversionInference.cs (3)
61
AlwaysSucceed
== other.
AlwaysSucceed
&&
68
=> RoslynHashCode.Combine(IsTryCast,
AlwaysSucceed
, AlwaysFail, IsBoxing, IsUnboxing);