[clang] [clang][analyzer] Fix the false positive ArgInitializedness warning on unnamed bit-field (PR #145066)

Baranov Victor via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 27 05:22:05 PDT 2025


================
@@ -253,6 +253,9 @@ class FindUninitializedField {
       const RecordDecl *RD = RT->getDecl()->getDefinition();
       assert(RD && "Referred record has no definition");
       for (const auto *I : RD->fields()) {
+        if (I->isUnnamedBitField()) {
+          continue;
+        }
----------------
vbvictor wrote:

```suggestion
        if (I->isUnnamedBitField())
          continue;
```
https://llvm.org/docs/CodingStandards.html#don-t-use-braces-on-simple-single-statement-bodies-of-if-else-loop-statements

https://github.com/llvm/llvm-project/pull/145066


More information about the cfe-commits mailing list