UNITIALIZED_VALUE false positive
未关闭
false-positive
- 主要语言
- OCaml
- 星标
- 15.7k
- 派生
- 2.1k
- 平均合并
- 19 小时 36 分钟
- 30 天内合并 PR
- 13
描述
Please include the following information:
- [x] The version of infer from https://github.com/facebook/infer/commit/d1de5db6c88036c5e7693b1de8ca6e81e845c08d commit
- [x] Debian docker from Infer repository
- [x] Which command you ran: `infer run -- make`.
```c
void myfun(size_t i) {
size_t j;
for (; j = i * 2+ 1, j < 10; i = j) { j++; }
return;
}
```
It prints (wrongly) this warning:
```
error: UNITIALIZED_VALUE
The value read from j was never initialized
```
贡献指南
评估
这个 Issue 还没有评估数据。