From 665e046ae6d505e4e0d2ce80c1530815c91d258f Mon Sep 17 00:00:00 2001
From: yoff <yoff@github.com>
Date: Mon, 27 Jul 2026 17:00:35 +0200
Subject: [PATCH] Python: add overlay annotations to inlined predicates

---
 python/ql/lib/semmle/python/controlflow/internal/Cfg.qll | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/python/ql/lib/semmle/python/controlflow/internal/Cfg.qll b/python/ql/lib/semmle/python/controlflow/internal/Cfg.qll
index ec8b44d5a82..4dc6ac20d04 100644
--- a/python/ql/lib/semmle/python/controlflow/internal/Cfg.qll
+++ b/python/ql/lib/semmle/python/controlflow/internal/Cfg.qll
@@ -85,10 +85,12 @@ class ControlFlowNode extends CfgImpl::ControlFlowNode {
   }
 
   /** Holds if this strictly dominates `other`. */
+  overlay[caller?]
   pragma[inline]
   predicate strictlyDominates(ControlFlowNode other) { super.strictlyDominates(other) }
 
   /** Holds if this dominates `other` (reflexively). */
+  overlay[caller?]
   pragma[inline]
   predicate dominates(ControlFlowNode other) { super.dominates(other) }