Avoid bad join order

We want to avoid joining on `i` first.
This commit is contained in:
Owen Mansel-Chan
2021-04-21 16:11:18 +01:00
parent 9f1704560b
commit e448dcb725

View File

@@ -18,7 +18,7 @@ abstract class ExecCallable extends Callable {
class ArgumentToExec extends Expr {
ArgumentToExec() {
exists(Call execCall, ExecCallable execCallable, int i |
execCall.getArgument(i) = this and
execCall.getArgument(pragma[only_bind_into](i)) = this and
execCallable = execCall.getCallee() and
i = execCallable.getAnExecutedArgument()
)