Kotlin: Mark <clinit> as compiler-generated

igfoo · igfoo · commit 50eeb47244a2 · 2022-06-24T14:00:47.000+01:00
diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt b/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)
 
diff --git a/java/ql/lib/semmle/code/java/Element.qll b/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>"
     )
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,8 @@ class Element extends @element, Top {`
`53`	`53`	`i = 2 and result = "Generated data class member"`
`54`	`54`	`or`
`55`	`55`	`i = 3 and result = "Default property accessor"`
	`56`	`+ or`
	`57`	`+ i = 4 and result = "Class initialisation method <clinit>"`
`56`	`58`	`)`
`57`	`59`	`}`
`58`	`60`	`}`