Kotlin: Mark <clinit> as compiler-generated

Author: igfoo

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

@@ -595,6 +595,8 @@ open class KotlinFileExtractor(
                 tw.writeMethods(clinitId, "<clinit>", "<clinit>()", returnType.javaResult.id, parentId, clinitId)
                 tw.writeMethodsKotlinType(clinitId, returnType.kotlinResult.id)
 
+                tw.writeCompiler_generated(clinitId, 4)
+
                 val locId = tw.getWholeFileLocation()
                 tw.writeHasLocation(clinitId, locId)
 

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

@@ -53,6 +53,8 @@ class Element extends @element, Top {
       i = 2 and result = "Generated data class member"
       or
       i = 3 and result = "Default property accessor"
+      or
+      i = 4 and result = "Class initialisation method <clinit>"
     )
   }
 }