DEAD STORE reports many harmless cases like int i = 0xFFFFFFFF; i = SomeFunc();
Aperta
c
good first task
help wanted
- Lingua principale
- OCaml
- Stelle
- 15.7k
- Fork
- 2.1k
- Merge medio
- 19h 36m
- PR unite (30g)
- 13
Descrizione
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?
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.