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

Author: MathiasVP

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)
   }

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)
   }