hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Don't generate stubs for the record Clone method.

Browse Source
This commit is contained in:
Michael Nebel
2023-12-15 15:20:56 +01:00
parent f6af593b0b
commit e69f0e3461
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
csharp/extractor/Semmle.Extraction.CSharp.StubGenerator/StubVisitor.cs
View File

@@ -557,6 +557,9 @@ internal sealed class StubVisitor : SymbolVisitor
});
}
private static bool ExcludeMethod(IMethodSymbol symbol) =>
symbol.Name == "<Clone>$";
private void StubMethod(IMethodSymbol symbol, IMethodSymbol? explicitInterfaceSymbol, IMethodSymbol? baseCtor)
{
var methodKind = explicitInterfaceSymbol is null ? symbol.MethodKind : explicitInterfaceSymbol.MethodKind;
@@ -568,7 +571,7 @@ internal sealed class StubVisitor : SymbolVisitor
MethodKind.Ordinary
};
if (!relevantMethods.Contains(methodKind))
if (!relevantMethods.Contains(methodKind) || ExcludeMethod(symbol))
return;
StubAttributes(symbol.GetAttributes());