From 73ab3e6888507d37e2d2ecd0157293596eb83e17 Mon Sep 17 00:00:00 2001
From: yoff <yoff@github.com>
Date: Tue, 23 Jun 2026 12:39:16 +0200
Subject: [PATCH] Update
 shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
---
 shared/controlflow/codeql/controlflow/ControlFlowGraph.qll | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
index c0cb83debb8..842dffbd25e 100644
--- a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
+++ b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
@@ -1593,7 +1593,9 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
           or
           n1.isAfter(loopstmt.getBody()) and
           n2.isAdditional(loopstmt, loopHeaderTag())
-          or
+        )
+        or
+        exists(LoopStmt loopstmt |
           n1.isAfter(getLoopElse(loopstmt)) and
           n2.isAfter(loopstmt)
         )