Skip to content

Commit e91b7f0

Browse files
committed
Avoid using getTarget() as it may not exist
1 parent 98a0650 commit e91b7f0

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

go/ql/lib/semmle/go/controlflow/IR.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -744,7 +744,7 @@ module IR {
744744

745745
override Type getResultType() {
746746
exists(CallExpr c | this.getBase() = evalExprInstruction(c) |
747-
result = c.getTarget().getResultType(i)
747+
result = c.getCalleeType().getResultType(i)
748748
)
749749
or
750750
exists(Expr e | this.getBase() = evalExprInstruction(e) |

go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -445,8 +445,8 @@ module Public {
445445
CallNode getCallNode() { result = call }
446446

447447
override Type getType() {
448-
exists(Function f | f = call.getTarget() |
449-
result = f.getParameterType(f.getNumParameter() - 1)
448+
exists(SignatureType t | t = call.getCall().getCalleeType() |
449+
result = t.getParameterType(t.getNumParameter() - 1)
450450
)
451451
}
452452

0 commit comments

Comments
 (0)