QL: Merge pull request github#83 from github/tausbn/fix-missing-overr…

…ide-fps Fix "missing override" FPs
erik-krogh · Oct 13, 2021 · 823c24a · 823c24a
2 parents 4b73c99 + cc43230
commit 823c24a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll
@@ -665,7 +665,7 @@ class Class extends TClass, TypeDeclaration, ModuleDeclaration {
   /**
    * Gets a super-type referenced in the `extends` part of the class declaration.
    */
-  TypeExpr getASuperType() { toGenerated(result) in [cls.getExtends(_), cls.getInstanceof(_)] }
+  TypeExpr getASuperType() { toGenerated(result) = cls.getExtends(_) }
 
   /** Gets the type that this class is defined to be an alias of. */
   TypeExpr getAliasType() {