CPP: Also update reachable for ControlFlowNodes.

geoffw0 · geoffw0 · commit 092db18f9657 · 2018-10-30T14:28:47.000Z
diff --git 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. */

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,7 @@ private cached module Cached {`
`95`	`95`	`or`
`96`	`96`	`reachable(n.getAPredecessor())`
`97`	`97`	`or`
`98`		`- n instanceof CatchBlock`
	`98`	`+ n instanceof Handler`
`99`	`99`	`}`
`100`	`100`
`101`	`101`	/** Holds if `condition` always evaluates to a nonzero value. */