带有位域的 Clang 静态分析器误报（C 代码）

Question

我想知道以下示例是否是 Clang SA 误报，如果是，有没有办法抑制它？

这里的关键是我正在复制一个包含位域的结构，方法是将其转换为一个单词而不是逐个域的副本（或 memcpy）。逐字段复制和 memcpy 都不会触发警告，但是作为单词复制（在转换之后）会引发“未初始化访问”警告。这是在嵌入式系统上，只有单词访问是可能的，并且这些类型的单词副本很常见。

下面是示例代码：

#include <stdio.h>
#include <string.h>

struct my_fields_t {
  unsigned int f0: 16;
  unsigned int f1: 8;
  unsigned int f2: 8;
};

int main(void) {

  struct my_fields_t var1, var2;

  // initialize all the fields in var1.
  var1.f0 = 1;
  var1.f1 = 2;
  var1.f2 = 3;

  // Method #1: copy var1 -> var2 as a word (sizeof(unsigned int) = 4).
  unsigned int *src = (unsigned int *) &var1;
  unsigned int *dest = (unsigned int *) &var2;
  *dest = *src;

  // Method #2: copy var1->var2 field-by-field [NO SA WARNINGS]
  // var2.f0 = var1.f0;
  // var2.f1 = var1.f1;
  // var2.f2 = var1.f2;

  // Method #3: use memcpy to copy var1 to var2 [NO SA WARNINGS]
  // memcpy(&var2, &var1, sizeof(struct my_fields_t));

  printf("%d, %d, %d\n", var1.f0, var1.f1, var1.f2);
  printf("%d, %d, %d\n", var2.f0, var2.f1, var2.f2);  // <--- Function call argument is an uninitialized value
  printf("sizeof(unsigned int) = %ld\n", sizeof(unsigned int));
}

这是输出：

$ clang --version
clang version 4.0.0 (tags/RELEASE_401/final)
Target: x86_64-unknown-linux-gnu
Thread model: posix

$ clang -Wall clang_sa.c

$ ./a.out
1, 2, 3
1, 2, 3
sizeof(unsigned int) = 4

$ scan-build clang clang_sa.c
scan-build: Using '<snipped>/clang-4.0' for static analysis
clang_sa.c:33:3: warning: Function call argument is an uninitialized value
  printf("%d, %d, %d\n", var2.f0, var2.f1, var2.f2);  // <--- Function call argument is an uninitialized value
  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 warning generated.
scan-build: 1 bug found.

在上面的例子中，很明显var2中的所有字段都会被copy这个词初始化。所以，clang SA 不应该抱怨未初始化的访问。

感谢任何帮助/见解。

Answer 1

在抑制特定警告方面，来自documentation：

问：如何抑制特定的分析器警告？
目前没有可靠的机制来抑制分析器警告，尽管目前正在调查中。 ...

但在下一个问题中，它向您展示了您可以在静态分析期间标记要跳过的代码块，方法是用 #ifdef 块包围代码：

问：如何选择性地排除分析器检查的代码？
当静态分析器使用 clang 解析源文件时，它隐式定义了预处理器宏__clang_analyzer__。可以使用此宏选择性地排除分析器检查的代码。 ...

所以，你可以这样做：

#ifdef __clang_analyzer__
    #define COPY_STRUCT(DEST, SRC) (DEST) = (SRC)
#else
    #define COPY_STRUCT(DEST, SRC) do { \
        const unsigned int *src = (const void *)&(SRC); \
        unsigned int *dest = (void *)&(DEST); \
        *dest = *src; \
    } while(0)
#endif

COPY_STRUCT(var2, var1);