Predicate MakeImplCommon::Cached::paramReturnNode
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate paramReturnNode(PostUpdateNode n, ParamNode p, SndLevelScopeOption scope, ReturnKindExt k)
import codeql.dataflow.internal.DataFlowImplCommon
predicate paramReturnNode(PostUpdateNode n, ParamNode p, SndLevelScopeOption scope, ReturnKindExt k)