Add hint so optimizer doesn't choose bad join order

2026-01-30 23:02:56 +01:00 · 2021-03-15 15:13:17 +00:00
parent c940eb61e7
commit ea7ecbaa55
1 changed files with 1 additions and 1 deletions
--- 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() |