C#: Add similar fix to translation of switch statements in C#

MathiasVP · MathiasVP · commit da41cbca065c · 2020-02-21T13:33:54.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedStmt.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedStmt.qll
@@ -834,6 +834,10 @@ class TranslatedSwitchStmt extends TranslatedStmt {
       kind = this.getCaseEdge(caseStmt) and
       result = getTranslatedStmt(caseStmt).getFirstInstruction()
     )
+    or
+    not exists(stmt.getDefaultCase()) and
+    kind instanceof DefaultEdge and
+    result = getParent().getChildSuccessor(this)
   }
 
   private EdgeKind getCaseEdge(CaseStmt caseStmt) {

Original file line number	Diff line number	Diff line change
`@@ -834,6 +834,10 @@ class TranslatedSwitchStmt extends TranslatedStmt {`
`834`	`834`	`kind = this.getCaseEdge(caseStmt) and`
`835`	`835`	`result = getTranslatedStmt(caseStmt).getFirstInstruction()`
`836`	`836`	`)`
	`837`	`+ or`
	`838`	`+ not exists(stmt.getDefaultCase()) and`
	`839`	`+ kind instanceof DefaultEdge and`
	`840`	`+ result = getParent().getChildSuccessor(this)`
`837`	`841`	`}`
`838`	`842`
`839`	`843`	`private EdgeKind getCaseEdge(CaseStmt caseStmt) {`