Merge pull request #13966 from hvitved/csharp/mad-repr-fix

C#: Fix `getMadRepresentationSpecific`
This commit is contained in:
Tom Hvitved
2023-08-17 09:40:41 +02:00
committed by GitHub

View File

@@ -205,10 +205,9 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
or
sc = TWithContentSummaryComponent(_) and result = "WithElement"
or
exists(ReturnKind rk |
exists(OutRefReturnKind rk |
sc = TReturnSummaryComponent(rk) and
not rk = getReturnValueKind() and
result = "ReturnValue[" + rk + "]"
result = "Argument[" + rk.getPosition() + "]"
)
}