diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt b/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt index f5a45141729..35165a73cef 100644 --- 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, "", "()", 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 index 765371baca2..6041d330a1a 100755 --- 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 " ) } }