CPP: Also update reachable for ControlFlowNodes.

2026-05-02 12:15:17 +02:00 · 2018-10-30 13:14:29 +00:00
parent 1092cb97e5
commit 092db18f96
1 changed files with 1 additions and 1 deletions
--- a/cpp/ql/src/semmle/code/cpp/controlflow/ControlFlowGraph.qll
+++ b/cpp/ql/src/semmle/code/cpp/controlflow/ControlFlowGraph.qll
@@ -95,7 +95,7 @@ private cached module Cached {
    or
    reachable(n.getAPredecessor())
    or
-    n instanceof CatchBlock
+    n instanceof Handler
  }

  /** Holds if `condition` always evaluates to a nonzero value. */