`A4-7-1`: Guard using "." operator getting ignored
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 45/100
Direzione di ricerca
Inizia individuando l’implementazione di A4-7-1 che emette cpp/autosar/integer-expression-lead-to-data-loss, quindi riproduci gli esempi false_positive e true_negative. Traccia il modo in cui viene riconosciuta la guardia per un membro a cui si accede con l’operatore ".". Il lavoro è completato quando il decremento protetto in false_positive non genera più un avviso, mentre il comportamento esistente di true_negative rimane conforme.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Affected rules
- A4-7-1
Description
Changing a class/struct's member value with an arithmetic expression triggers a A4-7-1 warning, despite using an appropriate type guard (example function false_positive).
I have to workaround it by destructuring my member (example function true_negative).
It seems that the "." operator is badly supported.
Triggered warning is cpp/autosar/integer-expression-lead-to-data-loss.
Example
struct A {
std::int32_t s32;
}
void false_positive(A a) {
if (a.s32 > std::numeric_limits<std::int32_t>::min()) {
// Is supposed to be compliant with A4-7-1, but CodeQL reports a warning
--a.s32;
}
}
void true_negative(A a) {
auto s32 = a.s32;
if (s32 > std::numeric_limits<std::int32_t>::min()) {
// Compliant with A4-7-1
--s32;
}
a.s32 = s32;
}
- 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
-
false positive/false negative Stardard-MISRA-C++
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
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 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Apertafalse positive/false negative
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
github/codeql-coding-standards#1175 ·
Tutte le issue di github/codeql-coding-standards
Issue simili
-
ZCode 3.14.3 に対応する Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
supermomonga/zcode-acp#24 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 90/100
learningequality/ricecooker#747 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
KhronosGroup/glTF-Blender-IO#2769 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100