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

C#: Consider 'record' a type modifier in the extractor (it can be applied to both class and struct).

Browse Source
This commit is contained in:
Michael Nebel
2022-01-14 16:43:33 +01:00
parent c17bd29640
commit dc76775d07
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/extractor/Semmle.Extraction.CSharp/Entities/Modifier.cs
View File

@@ -111,6 +111,9 @@ namespace Semmle.Extraction.CSharp.Entities
if (nt is null)
throw new InternalError(symbol, "Symbol kind is inconsistent with its type");
if (nt.IsRecord)
HasModifier(cx, trapFile, key, "record");
if (nt.TypeKind == TypeKind.Struct)
{
if (nt.IsReadOnly)