From a09285b3c0f323e83c45a51e08c9bcc141b3d6d2 Mon Sep 17 00:00:00 2001 From: yoff Date: Thu, 30 Jul 2026 09:53:08 +0200 Subject: [PATCH] Python: fix compilation of test --- python/ql/test/library-tests/dataflow-new-ssa/SsaTest.ql | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/python/ql/test/library-tests/dataflow-new-ssa/SsaTest.ql b/python/ql/test/library-tests/dataflow-new-ssa/SsaTest.ql index 0bebf4a637d..99d65fbaf90 100644 --- a/python/ql/test/library-tests/dataflow-new-ssa/SsaTest.ql +++ b/python/ql/test/library-tests/dataflow-new-ssa/SsaTest.ql @@ -24,7 +24,7 @@ module SsaTest implements TestSig { predicate hasActualResult(Location location, string element, string tag, string value) { // A `def=` fires when an SSA WriteDefinition is at a CFG node // on the given line. - exists(SsaImpl::Ssa::WriteDefinition def, CfgImpl::BasicBlock bb, int i, Cfg::NameNode n | + exists(SsaImpl::WriteDefinition def, CfgImpl::BasicBlock bb, int i, Cfg::NameNode n | def.definesAt(_, bb, i) and bb.getNode(i) = n and tag = "def" and @@ -35,8 +35,8 @@ module SsaTest implements TestSig { or // A `use=` fires when an SSA Definition reaches a read at this // CFG node. - exists(SsaImpl::Ssa::Definition def, CfgImpl::BasicBlock bb, int i, Cfg::NameNode n | - SsaImpl::Ssa::ssaDefReachesRead(_, def, bb, i) and + exists(SsaImpl::Definition def, CfgImpl::BasicBlock bb, int i, Cfg::NameNode n | + SsaImpl::Impl::ssaDefReachesRead(_, def, bb, i) and bb.getNode(i) = n and tag = "use" and location = n.getLocation() and @@ -46,7 +46,7 @@ module SsaTest implements TestSig { or // A `phi=` fires when there is a phi node whose BB's first // CFG node is on the given line. - exists(SsaImpl::Ssa::PhiNode phi, CfgImpl::BasicBlock bb | + exists(SsaImpl::PhiNode phi, CfgImpl::BasicBlock bb | phi.definesAt(_, bb, _) and tag = "phi" and location = bb.getNode(0).getLocation() and