1 write to Semantics
Microsoft.CodeAnalysis (1)
Operations\ControlFlowBranch.cs (1)
30Semantics = semantics;
38 references to Semantics
ILLink.RoslynAnalyzer (1)
DataFlow\LocalDataFlowVisitor.cs (1)
107 if (block.Block.FallThroughSuccessor?.Semantics == ControlFlowBranchSemantics.Throw)
Microsoft.CodeAnalysis.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
179continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 180branch.Semantics != ControlFlowBranchSemantics.Rethrow && 181current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 210switch (branch.Semantics) 249throw 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)
179continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 180branch.Semantics != ControlFlowBranchSemantics.Rethrow && 181current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 210switch (branch.Semantics) 249throw ExceptionUtilities.UnexpectedValue(branch.Semantics);
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (5)
179continueDispatchAfterFinally[current.EnclosingRegion] = branch.Semantics != ControlFlowBranchSemantics.Throw && 180branch.Semantics != ControlFlowBranchSemantics.Rethrow && 181current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling; 210switch (branch.Semantics) 249throw ExceptionUtilities.UnexpectedValue(branch.Semantics);