From 1a0379a894e5fd8d251c29972921dfeebc29206c Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Thu, 18 Nov 2021 18:44:34 +0100 Subject: [PATCH] introduce type resolution consistency checks --- ql/src/queries/diagnostics/EmptyConsistencies.ql | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ql/src/queries/diagnostics/EmptyConsistencies.ql b/ql/src/queries/diagnostics/EmptyConsistencies.ql index 11ee9ccb4f8..852370069f0 100644 --- a/ql/src/queries/diagnostics/EmptyConsistencies.ql +++ b/ql/src/queries/diagnostics/EmptyConsistencies.ql @@ -33,10 +33,10 @@ where or AstConsistency::nonTotalGetParent(node) and msg = "AstConsistency::nonTotalGetParent" or - //or // has 1 result, but the CodeQL compiler also can't figure out that one. I suppoed the file is never imported. - //TypeConsistency::noResolve(node) and msg = "TypeConsistency::noResolve" - //or // has 1 result, but the CodeQL compiler also can't figure out that one. Same file as above. - //ModConsistency::noResolve(node) and msg = "ModConsistency::noResolve" + TypeConsistency::noResolve(node) and msg = "TypeConsistency::noResolve" + or + ModConsistency::noResolve(node) and msg = "ModConsistency::noResolve" + or ModConsistency::noResolveModuleExpr(node) and msg = "ModConsistency::noResolveModuleExpr" or VarConsistency::noFieldDef(node) and msg = "VarConsistency::noFieldDef"