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