From ed430ce8554818a6a69d30ad6c990aaa60942209 Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Mon, 24 Feb 2020 09:12:14 +0100
Subject: [PATCH] C++/C#: Bind  parameter in new case.

---
 .../code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll   | 1 +
 .../csharp/ir/implementation/raw/internal/TranslatedStmt.qll     | 1 +
 2 files changed, 2 insertions(+)

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
index 16197d0e7de..88a7d4c99ea 100644
--- 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
index b4a16584434..0ec51bd9190 100644
--- 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)
   }