`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization
まだ誰も着手していません。
評価
調査の方向性
RULE-0-1-1 の実装とテストを特定し、[[maybe_unused]] を含む初期化代入がどのように報告されるかを追跡します。issue の例を動作ケースとして使用し、初期化に関する検出結果は抑制する一方で、後続の y と z への代入に関する検出結果は維持します。
索引モデルが issue の本文から書いたものです。
説明
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.
}
- 主要言語
- CodeQL
- スター
- 227
- フォーク
- 82
- 平均マージ
- 6日 7時間
- マージ済み PR(30日)
- 9
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
github/codeql-coding-standards のほかの issue
-
false positive/false negative Stardard-MISRA-C++
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph オープンfalse positive/false negative
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative Stardard-MISRA-C++
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
github/codeql-coding-standards#1165 ·
github/codeql-coding-standards の issue をすべて見る
似ている issue
-
ZCode 3.14.3 に対応する オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
supermomonga/zcode-acp#24 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
learningequality/ricecooker#747 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
KhronosGroup/glTF-Blender-IO#2769 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100