From c3a1eb181eb7643d023eae9058d40e5e296cd8aa Mon Sep 17 00:00:00 2001
From: Michael Nebel <michaelnebel@github.com>
Date: Fri, 13 Feb 2026 12:41:51 +0100
Subject: [PATCH] C#: Extract field modifiers and tag the field as being
 compiler generated.

---
 .../Semmle.Extraction.CSharp/Entities/PropertyField.cs         | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Entities/PropertyField.cs b/csharp/extractor/Semmle.Extraction.CSharp/Entities/PropertyField.cs
index 7567a9e8960..9e9b1f41fff 100644
--- a/csharp/extractor/Semmle.Extraction.CSharp/Entities/PropertyField.cs
+++ b/csharp/extractor/Semmle.Extraction.CSharp/Entities/PropertyField.cs
@@ -28,6 +28,9 @@ namespace Semmle.Extraction.CSharp.Entities
             var unboundFieldKey = PropertyField.Create(Context, Symbol.OriginalDefinition);
             var name = Symbol.AssociatedSymbol is not null ? $"{Symbol.AssociatedSymbol.GetName()}.field" : Symbol.Name;
             trapFile.fields(this, VariableKind.None, name, ContainingType!, Type.TypeRef, unboundFieldKey);
+            trapFile.compiler_generated(this);
+
+            PopulateModifiers(trapFile);
 
             if (Context.OnlyScaffold)
             {