From bcfee987f011fcbfe6ee6fead95b35b84fd971e9 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
Date: Wed, 24 Jun 2026 10:26:26 +0200
Subject: [PATCH] Apply suggestion from @aschackmull

---
 shared/controlflow/codeql/controlflow/ControlFlowGraph.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
index da4e36b3e36..18f2e531766 100644
--- a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
+++ b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
@@ -647,7 +647,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
       (
         n instanceof CatchClause
         or
-        exists(CatchClause catch | n = catch.getPattern())
+        n = any(CatchClause catch).getPattern()
         or
         n instanceof Case
         or