Merge pull request #14201 from MathiasVP/add-ast-consistency-query

AlexDenisov · web-flow · commit ff7ff6dcfaf2 · 2023-09-14T16:34:20.000+02:00
C++: Add AST consistency query
diff --git a/cpp/ql/src/Metrics/Internal/ASTConsistency.ql b/cpp/ql/src/Metrics/Internal/ASTConsistency.ql
@@ -0,0 +1,18 @@
+/**
+ * @name Count AST inconsistencies
+ * @description Counts the various AST inconsistencies that may occur.
+ *              This query is for internal use only and may change without notice.
+ * @kind table
+ * @id cpp/count-ast-inconsistencies
+ */
+
+import cpp
+
+predicate hasDuplicateFunctionEntryPointLocation(Function func) {
+  count(func.getEntryPoint().getLocation()) > 1
+}
+
+predicate hasDuplicateFunctionEntryPoint(Function func) { count(func.getEntryPoint()) > 1 }
+
+select count(Function f | hasDuplicateFunctionEntryPoint(f) | f) as duplicateFunctionEntryPoint,
+  count(Function f | hasDuplicateFunctionEntryPointLocation(f) | f) as duplicateFunctionEntryPointLocation
