DEAD STORE reports many harmless cases like int i = 0xFFFFFFFF; i = SomeFunc();
Ouverte
c
good first task
help wanted
- Langage dominant
- OCaml
- Étoiles
- 15.7k
- Forks
- 2.1k
- Merge moyen
- 19 h 36 min
- PR mergées (30 j)
- 13
Description
infer version v0.15.0
in my case, 0xFFFF or 0xFFFFFFFF is a common initializer and there are a lot of this semantics in our code. I would like to ignore those harmless. but if I turn off liveness checker, I worry about missing some truely harmful bugs. Does Infer provide some filtering option or method?
Guide de contribution
Ouvrir le guide de contribution
Évaluation
Cette issue n'a pas encore été évaluée.