MultipleLocalDeclarators.ql

/**
 * @id cpp/autosar/multiple-local-declarators
 * @name M8-0-1: Multiple declarations in the same local statement
 * @description An init-declarator-list or a member-declarator-list shall consist of a single
 *              init-declarator or member-declarator respectively.
 * @kind problem
 * @precision very-high
 * @problem.severity recommendation
 * @tags external/autosar/id/m8-0-1
 *       readability
 *       maintainability
 *       external/autosar/allocated-target/implementation
 *       external/autosar/enforcement/automated
 *       external/autosar/obligation/required
 */

import cpp
import codingstandards.cpp.autosar

from DeclStmt ds
where
  not isExcluded(ds, InitializationPackage::multipleLocalDeclaratorsQuery()) and
  count(Declaration d | d = ds.getADeclaration()) > 1 and
  // Not a compiler generated `DeclStmt`, such as in the range-based for loop
  not ds.isCompilerGenerated()
select ds, "Declaration list contains more than one declaration."