1 write to Semantics
Microsoft.CodeAnalysis (1)
Operations\ControlFlowBranch.cs (1)
30Semantics = semantics;
37 references to Semantics
Microsoft.CodeAnalysis.CodeStyle (5)
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); 765else if (branch.Semantics == ControlFlowBranchSemantics.Throw || 766branch.Semantics == ControlFlowBranchSemantics.Rethrow || 767branch.Semantics == ControlFlowBranchSemantics.Error || 768branch.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling) 1601Assert.True(ControlFlowBranchSemantics.None == branch.Semantics || ControlFlowBranchSemantics.Throw == branch.Semantics || 1602ControlFlowBranchSemantics.Rethrow == branch.Semantics || ControlFlowBranchSemantics.StructuredExceptionHandling == branch.Semantics || 1603ControlFlowBranchSemantics.ProgramTermination == branch.Semantics || ControlFlowBranchSemantics.Error == branch.Semantics); 1607Assert.True(ControlFlowBranchSemantics.Regular == branch.Semantics || ControlFlowBranchSemantics.Return == branch.Semantics);
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)
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);