C++/C#: Bind parameter in new case.

MathiasVP · MathiasVP · commit ed430ce85548 · 2020-02-24T09:12:14.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
@@ -657,6 +657,7 @@ class TranslatedSwitchStmt extends TranslatedStmt {
     )
     or
     not stmt.hasDefaultCase() and
+    tag = SwitchBranchTag() and
     kind instanceof DefaultEdge and
     result = getParent().getChildSuccessor(this)
   }
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
@@ -836,6 +836,7 @@ class TranslatedSwitchStmt extends TranslatedStmt {
     )
     or
     not exists(stmt.getDefaultCase()) and
+    tag = SwitchBranchTag() and
     kind instanceof DefaultEdge and
     result = getParent().getChildSuccessor(this)
   }

Original file line number	Diff line number	Diff line change
`@@ -657,6 +657,7 @@ class TranslatedSwitchStmt extends TranslatedStmt {`
`657`	`657`	`)`
`658`	`658`	`or`
`659`	`659`	`not stmt.hasDefaultCase() and`
	`660`	`+ tag = SwitchBranchTag() and`
`660`	`661`	`kind instanceof DefaultEdge and`
`661`	`662`	`result = getParent().getChildSuccessor(this)`
`662`	`663`	`}`
Original file line number	Diff line number	Diff line change
`@@ -836,6 +836,7 @@ class TranslatedSwitchStmt extends TranslatedStmt {`
`836`	`836`	`)`
`837`	`837`	`or`
`838`	`838`	`not exists(stmt.getDefaultCase()) and`
	`839`	`+ tag = SwitchBranchTag() and`
`839`	`840`	`kind instanceof DefaultEdge and`
`840`	`841`	`result = getParent().getChildSuccessor(this)`
`841`	`842`	`}`