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.
1 parent 50fb662 commit 9f82088Copy full SHA for 9f82088
go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll
@@ -169,10 +169,10 @@ module ControlFlow {
169
/**
170
* Holds if this node writes `rhs` to `channel`.
171
*/
172
- predicate writesToChannel(DataFlow::Node channel, DataFlow::Node rhs) {
+ predicate writesToChannel(DataFlow::ExprNode channel, DataFlow::ExprNode rhs) {
173
exists(SendStmt send |
174
- send.getChannel() = channel.(DataFlow::ExprNode).asExpr() and
175
- send.getValue() = rhs.(DataFlow::ExprNode).asExpr()
+ send.getChannel() = channel.asExpr() and
+ send.getValue() = rhs.asExpr()
176
)
177
}
178
0 commit comments