From ea7ecbaa55875c404d6aa5e3325324c19782eed4 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Mon, 15 Mar 2021 15:13:17 +0000 Subject: [PATCH] Add hint so optimizer doesn't choose bad join order --- ql/src/semmle/go/controlflow/IR.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ql/src/semmle/go/controlflow/IR.qll b/ql/src/semmle/go/controlflow/IR.qll index 95270055d18..b0d8a8786d7 100644 --- a/ql/src/semmle/go/controlflow/IR.qll +++ b/ql/src/semmle/go/controlflow/IR.qll @@ -662,7 +662,7 @@ module IR { ) or exists(TypeAssertExpr tae | getBase() = evalExprInstruction(tae) | - result = tae.getType().(TupleType).getComponentType(i) + result = tae.getType().(TupleType).getComponentType(pragma[only_bind_into](i)) ) or exists(Type rangeType | rangeType = s.(RangeStmt).getDomain().getType().getUnderlyingType() |