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 00d5cb7 commit 0895853Copy full SHA for 0895853
go/ql/lib/semmle/go/dataflow/internal/DataFlowDispatch.qll
@@ -156,12 +156,3 @@ predicate golangSpecificParamArgFilter(
156
.getACalleeWithoutVirtualDispatch()
157
.asFunction())
158
}
159
-
160
-predicate foo(DataFlowCall call, DataFlow::Node rec0) {
161
- exists(DataFlow::Node rec | rec = call.getNode().(DataFlow::CallNode).getReceiver() |
162
- rec = rec0 and rec.getType().getUnderlyingType() instanceof InterfaceType
163
- ) and
164
- not exists(Function callTarget | callTarget = call.getNode().(DataFlow::CallNode).getTarget() |
165
- not isInterfaceMethod(callTarget)
166
- )
167
-}
0 commit comments