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 628230f commit 6ccfb4bCopy full SHA for 6ccfb4b
go/ql/lib/semmle/go/dataflow/internal/DataFlowImplCommon.qll
@@ -709,7 +709,8 @@ private module Cached {
709
*/
710
pragma[nomagic]
711
private DataFlowCallable viableImplInCallContextExt(DataFlowCall call, DataFlowCall ctx) {
712
- result = viableImplInCallContext(call, ctx)
+ result = viableImplInCallContext(call, ctx) and
713
+ result = viableCallable(call)
714
or
715
result = viableCallableLambda(call, TDataFlowCallSome(ctx))
716
0 commit comments