C++: Fix copy and paste error in comment

2026-04-26 01:05:15 +02:00 · 2024-05-08 22:11:19 +02:00
parent d68d2cca41
commit 9e09c5a6cf
1 changed files with 1 additions and 1 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
@@ -817,7 +817,7 @@ class TranslatedDestructorsAfterHandler extends TranslatedElement,
      // Transition to the next child, if any.
      result = this.getChild(id + 1).getFirstInstruction(kind)
      or
-      // And otherwise, exit this element with an exceptional edge
+      // And otherwise go to the next handler, if any.
      not exists(this.getChild(id + 1)) and
      result =
        getTranslatedStmt(handler)