QL: Add missing parents for ModuleExpr

tausbn · web-flow · commit 93fa56fe79b4 · 2021-05-27T17:28:00.000Z
diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll
@@ -1199,5 +1199,9 @@ class ModuleExpr extends TModuleExpr, ModuleRef {
   override AstNode getParent() {
     result = super.getParent() or
     result.(PredicateCall).getQualifier() = this
+    or
+    result.(PredicateExpr).getQualifier() = this
+    or
+    result.(Module).getAlias() = this
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -1199,5 +1199,9 @@ class ModuleExpr extends TModuleExpr, ModuleRef {`
`1199`	`1199`	`override AstNode getParent() {`
`1200`	`1200`	`result = super.getParent() or`
`1201`	`1201`	`result.(PredicateCall).getQualifier() = this`
	`1202`	`+ or`
	`1203`	`+ result.(PredicateExpr).getQualifier() = this`
	`1204`	`+ or`
	`1205`	`+ result.(Module).getAlias() = this`
`1202`	`1206`	`}`
`1203`	`1207`	`}`