hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 23:02:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make this. explicit

Browse Source
This commit is contained in:
Owen Mansel-Chan
2021-03-15 15:13:40 +00:00
parent ea7ecbaa55
commit f9c4e12c95
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ql/src/semmle/go/controlflow/IR.qll
View File

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