叮当分析:如何避免“垃圾值”警示?

检查时

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    char    c[20];
    size_t  l;

    l = fread(c, sizeof c, 1, stdin);
    if (l != 1)
        return 1;

    return c[0] == 42;
}

有了叮当声,我明白了

$ clang  --analyze -Xclang -analyzer-checker=alpha x.c
x.c:13:14: warning: The left operand of '==' is a garbage value
        return c[0] == 42;
               ~~~~ ^

$ clang -v
clang version 7.0.1 (Fedora 7.0.1-4.fc29)

真的有可能 c 此时是否包含垃圾?如果没有,我如何避免警告(没有明显的初始化 C )?

更新

因为这似乎是大家的共识,认为这是一种误报,我想重点谈谈如何避免这种警示。

的确 fread() 是一个标准函数,分析程序应该知道它们的语义,例如 memset() 已经。但我对一种更通用的方法感兴趣,例如在库函数上。

我会调用一些特殊函数(让我们调用它 assert_defined() )在某种程度上

    l = fread(c, sizeof c, 1, stdin);
    assert_defined(c, l * sizeof c);

哪个是

• 诺普
• 但是让编译器/分析器认为 l * sizeof c 字节在 C 已初始化

Clang知道像这样的注释吗

inline static void assert_defined(void const *p, size_t cnt) 
   __attribute__((__dear_compiler_this_memory_is_not_garbage__(1,2)))
{
}

或者有类似的把戏

int i = i;

这可以防止gcc发出“未初始化的警告”?