Skip to content

Commit d63909e

Browse files
committed
Avoid using getTarget() as it may not exist
1 parent 39b6014 commit d63909e

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
@@ -439,8 +439,8 @@ module Public {
439439
CallNode getCallNode() { result = call }
440440

441441
override Type getType() {
442-
exists(Function f | f = call.getTarget() |
443-
result = f.getParameterType(f.getNumParameter() - 1)
442+
exists(SignatureType t | t = call.getCall().getCalleeType() |
443+
result = t.getParameterType(t.getNumParameter() - 1)
444444
)
445445
}
446446

0 commit comments

Comments
 (0)