`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 65/100
Línea de trabajo
Localiza la implementación y las pruebas de RULE-0-1-1 y, a continuación, sigue cómo se notifican las asignaciones de inicialización que implican [[maybe_unused]]. Usa los ejemplos del issue como casos de comportamiento: suprime el hallazgo de inicialización, manteniendo los hallazgos de las asignaciones posteriores a y y z.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Affected rules
RULE-0-1-1
Description
If the assignment is initializing a variable with the [[maybe_unused]] attribute, we should not report this.
The presence of [[maybe_unused]] disables other rules according to the MISRA spec, and we should follow that principle here as well. If a variable is [[maybe_unused]], that strongly indicates that there's some kind of conditional compilation that uses the variable value, and that the write is ok.
Note that [[maybe_unused]] should not disable all violations of the rule, only ones that would be fixed by adding any read to the variable.
Example
void example_function() {
[[maybe_unused]] int x = 0; // reported, but should not be.
[[maybe_unused]] int y = 1; // should still be reported
y = 2;
[[maybe_unused]] int z = 3;
f(z);
z = 4; // should still be reported.
}
- Lenguaje dominante
- CodeQL
- Estrellas
- 227
- Forks
- 82
- Merge medio
- 6 d 7 h
- PR fusionados (30 d)
- 9
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de github/codeql-coding-standards
-
false positive/false negative Stardard-MISRA-C++
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Abiertofalse positive/false negative
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative Stardard-MISRA-C++
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
github/codeql-coding-standards#1165 ·
Todos los issues de github/codeql-coding-standards
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
use-agent-os/agent-os#3314 ·
-
Implement GitHub Issue templates Abiertodocumentation low-priority templates
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
jesseray718/openroot#87 ·
-
factory-active factory-automatic task-bug-reproduction-cannot-reproduce task-identify-harness-labels-done task-identify-issue-type-done
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 90/100
danielmiessler/LifeOS#2218 ·
-
in-progress proposal
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
uibcdf/molsyssuite#36 ·