Kotlin: Record that DEFAULT_PROPERTY_ACCESSOR are compiler-generated

Author: igfoo

java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt

@@ -783,8 +783,11 @@ open class KotlinFileExtractor(
                     val methodId = id.cast<DbMethod>()
                     tw.writeMethods(methodId, shortName.nameInDB, "${shortName.nameInDB}$paramsSignature", returnType.javaResult.id, parentId, sourceDeclaration.cast<DbMethod>())
                     tw.writeMethodsKotlinType(methodId, returnType.kotlinResult.id)
-                    if (f.origin == IrDeclarationOrigin.GENERATED_DATA_CLASS_MEMBER) {
-                        tw.writeCompiler_generated(methodId, 2)
+                    when (f.origin) {
+                        IrDeclarationOrigin.GENERATED_DATA_CLASS_MEMBER ->
+                            tw.writeCompiler_generated(methodId, 2)
+                        IrDeclarationOrigin.DEFAULT_PROPERTY_ACCESSOR ->
+                            tw.writeCompiler_generated(methodId, 3)
                     }
 
                     if (extractMethodAndParameterTypeAccesses) {

java/ql/lib/semmle/code/java/Element.qll

@@ -50,7 +50,9 @@ class Element extends @element, Top {
     exists(int i | compiler_generated(this, i) |
       i = 1 and result = "Declaring classes of adapter functions in Kotlin"
       or
-      i = 2 and result = "Generated data class members"
+      i = 2 and result = "Generated data class member"
+      or
+      i = 3 and result = "Default property accessor"
     )
   }
 }