From 134cf4e0e11e6be3dc837c6889cd38078f0189f4 Mon Sep 17 00:00:00 2001 From: Nick Rolfe Date: Wed, 25 May 2022 10:54:43 +0100 Subject: [PATCH] Ruby: tweak join order in API::Impl::edge --- ruby/ql/lib/codeql/ruby/ApiGraphs.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ruby/ql/lib/codeql/ruby/ApiGraphs.qll b/ruby/ql/lib/codeql/ruby/ApiGraphs.qll index 6b4e11317e6..8f0673c8d99 100644 --- a/ruby/ql/lib/codeql/ruby/ApiGraphs.qll +++ b/ruby/ql/lib/codeql/ruby/ApiGraphs.qll @@ -576,7 +576,7 @@ module API { use(pred, a) and use(succ, b) and resolveConstant(b.asExpr().getExpr()) = resolveConstantWriteAccess(c) and - c.getSuperclassExpr() = a.asExpr().getExpr() and + pragma[only_bind_into](c).getSuperclassExpr() = a.asExpr().getExpr() and lbl = Label::subclass() ) or