1 write to Semantics
Microsoft.CodeAnalysis (1)
Operations\ControlFlowBranch.cs (1)
30Semantics = semantics;
99 references to Semantics
GenerateDocumentationAndConfigFiles (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
ILLink.RoslynAnalyzer (1)
DataFlow\LocalDataFlowVisitor.cs (1)
108if (block.Block.FallThroughSuccessor?.Semantics == ControlFlowBranchSemantics.Throw)
Metrics (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Metrics.Legacy (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.Analyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.AnalyzerUtilities (6)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
21branch.Semantics, branch.Source.BranchValue,
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.BannedApiAnalyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.PerformanceSensitiveAnalyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.PublicApiAnalyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.ResxSourceGenerator (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.Test.Utilities (27)
Compilation\ControlFlowGraphVerifier.cs (22)
254Assert.NotEqual(ControlFlowBranchSemantics.Return, conditionalBranch.Semantics); 255Assert.NotEqual(ControlFlowBranchSemantics.Throw, conditionalBranch.Semantics); 256Assert.NotEqual(ControlFlowBranchSemantics.StructuredExceptionHandling, conditionalBranch.Semantics); 260appendLine($" Jump if {jumpIfTrue} ({conditionalBranch.Semantics}) to Block[{getDestinationString(ref conditionalBranch)}]"); 293if (nextBranch.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling) 300appendLine($" Next ({nextBranch.Semantics}) Block[{getDestinationString(ref nextBranch)}]"); 305Assert.True(ControlFlowBranchSemantics.Return == nextBranch.Semantics || ControlFlowBranchSemantics.Throw == nextBranch.Semantics); 311Assert.NotEqual(ControlFlowBranchSemantics.Return, nextBranch.Semantics); 312Assert.NotEqual(ControlFlowBranchSemantics.Throw, nextBranch.Semantics); 727else if (branch.Semantics == ControlFlowBranchSemantics.Throw || 728branch.Semantics == ControlFlowBranchSemantics.Rethrow || 729branch.Semantics == ControlFlowBranchSemantics.Error || 730branch.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling) 1576Assert.True(ControlFlowBranchSemantics.None == branch.Semantics || ControlFlowBranchSemantics.Throw == branch.Semantics || 1577ControlFlowBranchSemantics.Rethrow == branch.Semantics || ControlFlowBranchSemantics.StructuredExceptionHandling == branch.Semantics || 1578ControlFlowBranchSemantics.ProgramTermination == branch.Semantics || ControlFlowBranchSemantics.Error == branch.Semantics); 1582Assert.True(ControlFlowBranchSemantics.Regular == branch.Semantics || ControlFlowBranchSemantics.Return == branch.Semantics);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Roslyn.Diagnostics.Analyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Test.Utilities (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Text.Analyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
178continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 179branch.Semantics != ControlFlowBranchSemantics.Rethrow && 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 209switch (branch.Semantics) 248throw ExceptionUtilities.UnexpectedValue(branch.Semantics);