`A0-1-1`: initialization of constexpr used as NTTP is detected as useless assignment

Aperta

#728 aperta il 3/10/2024 0 commenti 0 reazioni 1 assegnatario Vedi su GitHub

@lcartey ci sta già lavorando.

Dal 17/1/2025.

#732 di @fjatWbyT — integrata

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

Difficulty-Medium false positive/false negative Impact-Medium Standard-AUTOSAR user-report

Affected rules

A0-1-1 (useless assignment)

Description

Constant expression used as non-type template parameter (NTTP) produces useless-assignment false positive. It can be reproduced with integer NTTP.

Example

#include <ratio>

int main() {
  constexpr int one      = 1;     // True positive, this one is indeed unused (therefore, assignment is useless).
  constexpr int thirteen = 13;    // False positive, used in the second argument:
                                  // it can be verified that main returns 13.
  std::ratio<1, thirteen> ratio;
  return ratio.den;
}

Both definitions of one and thirteen are alerted as unused on query cpp/autosar/src/rules/A0-1-1/UselessAssignment.ql.

Lingua principale: CodeQL
Stelle: 227
Fork: 82
Merge medio: 6g 7h
PR unite (30g): 9

Guida per i contributori

Apri la guida per i contributori

Come iniziare

Leggi tutta la issue e poi la guida ai contributi del progetto.
Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
Fai un fork del repository e lavora su un branch.
Apri una pull request che faccia riferimento al numero della issue.

Altre issue di github/codeql-coding-standards

`RULE-10-0-1`: Structured bindings should not be reported as violations Aperta

false positive/false negative Stardard-MISRA-C++

Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100

github/codeql-coding-standards#1172 · Aperta il 5/8/2026
`RULE-10-4`: False negatives as rule does not currently consider ternaries Aperta

Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C

Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

github/codeql-coding-standards#821 · Aperta il 12/12/2024
`EXP39-C`: False positives related to compatible types, harmless casts Aperta

Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

github/codeql-coding-standards#1200 · Aperta il 20/9/2026
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Aperta

false positive/false negative

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

github/codeql-coding-standards#1190 · Aperta il 28/8/2026
`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization Aperta

false positive/false negative

Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100

github/codeql-coding-standards#1175 · Aperta il 20/8/2026

Tutte le issue di github/codeql-coding-standards