From f9c4e12c95befdaef34f13026900f99f7333ee4f Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Mon, 15 Mar 2021 15:13:40 +0000 Subject: [PATCH] Make `this.` explicit --- ql/src/semmle/go/controlflow/IR.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ql/src/semmle/go/controlflow/IR.qll b/ql/src/semmle/go/controlflow/IR.qll index b0d8a8786d7..fb984f0041e 100644 --- a/ql/src/semmle/go/controlflow/IR.qll +++ b/ql/src/semmle/go/controlflow/IR.qll @@ -654,14 +654,14 @@ module IR { } /** Holds if this extracts the `idx`th value of the result of `base`. */ - predicate extractsElement(Instruction base, int idx) { base = getBase() and idx = i } + predicate extractsElement(Instruction base, int idx) { base = this.getBase() and idx = i } override Type getResultType() { - exists(CallExpr c | getBase() = evalExprInstruction(c) | + exists(CallExpr c | this.getBase() = evalExprInstruction(c) | result = c.getTarget().getResultType(i) ) or - exists(TypeAssertExpr tae | getBase() = evalExprInstruction(tae) | + exists(TypeAssertExpr tae | this.getBase() = evalExprInstruction(tae) | result = tae.getType().(TupleType).getComponentType(pragma[only_bind_into](i)) ) or