Address review comment

hvitved · hvitved · commit 93830f43cc54 · 2022-08-18T10:06:26.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -1333,7 +1333,7 @@ private predicate summaryPostUpdateNodeIsOutOrRef(SummaryNode n, Parameter p) {
   exists(ParameterNodeImpl pn, DataFlowCallable c, ParameterPosition pos |
     FlowSummaryImpl::Private::summaryPostUpdateNode(n, pn) and
     pn.isParameterOf(c, pos) and
-    p = c.getUnderlyingCallable().getParameter(pos.getPosition()) and
+    p = c.asSummarizedCallable().getParameter(pos.getPosition()) and
     p.isOutOrRef()
   )
 }

Original file line number	Diff line number	Diff line change
`@@ -1333,7 +1333,7 @@ private predicate summaryPostUpdateNodeIsOutOrRef(SummaryNode n, Parameter p) {`
`1333`	`1333`	`exists(ParameterNodeImpl pn, DataFlowCallable c, ParameterPosition pos \|`
`1334`	`1334`	`FlowSummaryImpl::Private::summaryPostUpdateNode(n, pn) and`
`1335`	`1335`	`pn.isParameterOf(c, pos) and`
`1336`		`- p = c.getUnderlyingCallable().getParameter(pos.getPosition()) and`
	`1336`	`+ p = c.asSummarizedCallable().getParameter(pos.getPosition()) and`
`1337`	`1337`	`p.isOutOrRef()`
`1338`	`1338`	`)`
`1339`	`1339`	`}`