/**

* @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 }

predicate hasDuplicateDeclarationEntry(DeclStmt stmt, int i) {

strictcount(stmt.getDeclarationEntry(i)) > 1

}

select count(Function f | hasDuplicateFunctionEntryPoint(f)) as duplicateFunctionEntryPoint,

count(Function f | hasDuplicateFunctionEntryPointLocation(f)) as duplicateFunctionEntryPointLocation,

count(DeclStmt stmt, int i | hasDuplicateDeclarationEntry(stmt, i)) as duplicateDeclarationEntry