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.
2 parents 1fb4e13 + 26b7617 commit fe0f766Copy full SHA for fe0f766
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -205,10 +205,9 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
205
or
206
sc = TWithContentSummaryComponent(_) and result = "WithElement"
207
208
- exists(ReturnKind rk |
+ exists(OutRefReturnKind rk |
209
sc = TReturnSummaryComponent(rk) and
210
- not rk = getReturnValueKind() and
211
- result = "ReturnValue[" + rk + "]"
+ result = "Argument[" + rk.getPosition() + "]"
212
)
213
}
214
0 commit comments