facebook / facebook/infer

Dead Store False Positive

未关闭
#1,350 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
false-positive
主要语言
OCaml
星标
15.7k
派生
2.1k
平均合并
19 小时 36 分钟
30 天内合并 PR
13

描述

There are a lot of false positives about `Dead Store` in our project

infer 1.0.0
macOS 10.15
XCode 11.7

```
#719
Yach/Yach/AppDelegate.m:777: error: Dead Store
The value written to &clientName (type NSString*) is never used.
775. case NIMKickReasonByClient:
776. case NIMKickReasonByClientManually:{
777. NSString *clientName = [YACHClientUtil clientNameWithResult:result];
^
778. reason = clientName.length ? [YachDependenciesLocalized ClickedOfLineFormat:clientName] : YachDependenciesLocalized.ClickedOfLineKeepSafe;
779. break;
```

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。