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

2025-12-24 04:36:35 +01:00 · 2020-02-24 09:12:14 +01:00
parent af364e66fc
commit ed430ce855
2 changed files with 2 additions and 0 deletions
--- 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)
  }