We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 7d9a3e1 + 1456ec2 commit 1626af0Copy full SHA for 1626af0
go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
@@ -727,7 +727,10 @@ module Public {
727
override string getNodeKind() { result = "external parameter node" }
728
729
override Type getType() {
730
- result = this.getSummarizedCallable().getType().getParameterType(this.getPos())
+ result =
731
+ this.getSummarizedCallable()
732
+ .getType()
733
+ .getParameterType(pragma[only_bind_into](this.getPos()))
734
or
735
this.getPos() = -1 and
736
result = this.getSummarizedCallable().asFunction().(Method).getReceiverType()
0 commit comments