diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt b/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
index 35165a73cef..234895682ff 100644
--- a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
+++ b/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
@@ -790,6 +790,8 @@ open class KotlinFileExtractor(
                             tw.writeCompiler_generated(methodId, 2)
                         IrDeclarationOrigin.DEFAULT_PROPERTY_ACCESSOR ->
                             tw.writeCompiler_generated(methodId, 3)
+                        IrDeclarationOrigin.ENUM_CLASS_SPECIAL_MEMBER ->
+                            tw.writeCompiler_generated(methodId, 5)
                     }
 
                     if (extractMethodAndParameterTypeAccesses) {
diff --git a/java/ql/lib/semmle/code/java/Element.qll b/java/ql/lib/semmle/code/java/Element.qll
index 6041d330a1a..dbf2efc71b5 100755
--- a/java/ql/lib/semmle/code/java/Element.qll
+++ b/java/ql/lib/semmle/code/java/Element.qll
@@ -55,6 +55,8 @@ class Element extends @element, Top {
       i = 3 and result = "Default property accessor"
       or
       i = 4 and result = "Class initialisation method <clinit>"
+      or
+      i = 5 and result = "Enum class special member"
     )
   }
 }