зеркало из https://github.com/github/codeql.git
Merge pull request #17748 from owen-mc/go/join-order-fix/data-flow-node-gettype
Go: Fix bad join order in `SummarizedParameterNode.gettype`
This commit is contained in:
Коммит
1626af0ae1
|
@ -727,7 +727,10 @@ module Public {
|
|||
override string getNodeKind() { result = "external parameter node" }
|
||||
|
||||
override Type getType() {
|
||||
result = this.getSummarizedCallable().getType().getParameterType(this.getPos())
|
||||
result =
|
||||
this.getSummarizedCallable()
|
||||
.getType()
|
||||
.getParameterType(pragma[only_bind_into](this.getPos()))
|
||||
or
|
||||
this.getPos() = -1 and
|
||||
result = this.getSummarizedCallable().asFunction().(Method).getReceiverType()
|
||||
|
|
Загрузка…
Ссылка в новой задаче