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

Simplify implementation of ExtractTupleElementInstruction.getResultType

Browse Source
This commit is contained in:
Chris Smowton
2021-04-21 12:33:00 +01:00
parent 7efbcec50d
commit 4fb714f445
1 changed files with 2 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -747,20 +747,8 @@ module IR {
result = c.getTarget().getResultType(i)
)
or
exists(TypeAssertExpr tae | this.getBase() = evalExprInstruction(tae) |
result = tae.getType().(TupleType).getComponentType(pragma[only_bind_into](i))
)
or
exists(Instruction mapBase | this.getBase().readsElement(mapBase, _) |
i = 0 and result = mapBase.getResultType().getUnderlyingType().(MapType).getValueType()
or
i = 1 and result = any(BoolExprType b)
)
or
exists(RecvExpr re | this.getBase() = evalExprInstruction(re) |
i = 0 and result = re.getOperand().getType().getUnderlyingType().(ChanType).getElementType()
or
i = 1 and result = any(BoolExprType b)
exists(Expr e | this.getBase() = evalExprInstruction(e) |
result = e.getType().(TupleType).getComponentType(pragma[only_bind_into](i))
)
or
exists(Type rangeType | rangeType = s.(RangeStmt).getDomain().getType().getUnderlyingType() |