`A4-7-1`: Guard using "." operator getting ignored
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 45/100
Piste de recherche
Commencez par localiser l’implémentation de A4-7-1 qui émet cpp/autosar/integer-expression-lead-to-data-loss, puis reproduisez les exemples false_positive et true_negative. Suivez la manière dont la garde est reconnue pour un membre auquel on accède avec l’opérateur ".". Le travail est terminé lorsque le décrément protégé dans false_positive n’émet plus d’avertissement, tandis que le comportement existant de true_negative reste conforme.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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;
}
- Langage dominant
- CodeQL
- Étoiles
- 227
- Forks
- 82
- Merge moyen
- 6 j 7 h
- PR mergées (30 j)
- 9
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de github/codeql-coding-standards
-
false positive/false negative Stardard-MISRA-C++
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Ouvertefalse positive/false negative
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
Difficulté 3/5 1-2 jours Accessibilité débutants 65/100
github/codeql-coding-standards#1175 ·
Toutes les issues de github/codeql-coding-standards
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
pastelsky/bundlephobia#1122 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
anthropics/skills#1811 · 1 commentaire ·
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
CachyOS/distribution#587 ·
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
datalayer/mcp-compose#42 ·
-
[Chore] Keep one viget-block-generator skill and replicate it, instead of four tracked copies Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100