Merge pull request #9159 from github/nickrolfe/join_order_tweak

Ruby: tweak join order in `API::Impl::edge`
This commit is contained in:
Nick Rolfe
2022-05-25 14:57:24 +01:00
committed by GitHub

View File

@@ -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