Merge pull request github#10776 from tamasvajk/kotlin-missing-override-fix

Kotlin/Java: Exclude generated code from `java/missing-override-annotation`

Author: tamasvajk

java/ql/src/Advisory/Declarations/MissingOverrideAnnotation.ql

@@ -23,6 +23,8 @@ where
   m.overrides(overridden) and
   not m.hasModifier("override") and
   not m.isOverrideAnnotated() and
-  not exists(FunctionalExpr mref | mref.asMethod() = m)
+  not exists(FunctionalExpr mref | mref.asMethod() = m) and
+  // Ignore generated constructs, such as <clinit> functions extracted from Kotlin code:
+  not m.isCompilerGenerated()
 select m, "This method overrides $@; it is advisable to add an Override annotation.", overridden,
   overridden.getDeclaringType() + "." + overridden.getName()