File tree Expand file tree Collapse file tree 2 files changed +6
-5
lines changed Expand file tree Collapse file tree 2 files changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -238,6 +238,7 @@ class TVarDef = TVarDecl or TAsExpr;
238238
239239module AstConsistency {
240240 import ql
241+ import codeql_ql.ast.internal.AstNodes as AstNodes
241242
242243 query predicate nonTotalGetParent ( AstNode node ) {
243244 exists ( toQL ( node ) .getParent ( ) ) and
@@ -247,5 +248,8 @@ module AstConsistency {
247248 not ( node instanceof QLDoc and node .getLocation ( ) .getFile ( ) .getExtension ( ) = "dbscheme" ) // qldoc in dbschemes are not hooked up
248249 }
249250
250- query predicate nonUniqueParent ( AstNode node ) { count ( node .getParent ( ) ) >= 2 }
251+ query predicate nonUniqueParent ( AstNode node ) {
252+ count ( node .getParent ( ) ) >= 2 and
253+ not exists ( AstNodes:: toMock ( node ) ) // we don't care about the mocks, they are nasty by design.
254+ }
251255}
Original file line number Diff line number Diff line change @@ -15,7 +15,6 @@ import codeql_ql.ast.internal.Builtins::BuiltinsConsistency as BuiltinsConsisten
1515import codeql_ql.ast.internal.Module:: ModConsistency as ModConsistency
1616import codeql_ql.ast.internal.Variable:: VarConsistency as VarConsistency
1717import codeql_ql.ast.internal.AstNodes:: AstConsistency as AstConsistency
18- import codeql_ql.ast.internal.AstNodes as AstNodes
1918
2019from AstNode node , string msg
2120where
4342 or
4443 AstConsistency:: nonTotalGetParent ( node ) and msg = "AstConsistency::nonTotalGetParent"
4544 or
46- AstConsistency:: nonUniqueParent ( node ) and
47- msg = "AstConsistency::nonUniqueParent" and
48- not exists ( AstNodes:: toMock ( node ) ) // we don't care about the mocks, they are nasty by design.
45+ AstConsistency:: nonUniqueParent ( node ) and msg = "AstConsistency::nonUniqueParent"
4946 or
5047 TypeConsistency:: noResolve ( node ) and msg = "TypeConsistency::noResolve"
5148 or
You can’t perform that action at this time.
0 commit comments