DEAD STORE reports many harmless cases like int i = 0xFFFFFFFF; i = SomeFunc();

[lucmann]

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?

[martintrojer]

Hi, if this is Java you can use @SuppressLint("infer") annotation. https://fbinfer.com/support

If its not java there is currently no support for this.

[jvillard]

This function does what you want but only whitelists x = 0. I'd welcome a pull request to make the set of constants configurable by adding an option to infer/src/base/Config.ml.

[lucmann]

thanks! the whitelist can be added by an option. that's handful. I'll dig it.

[XVilka]

Any updates on this one? @lucmaa

[lucmann]

sorry that there is none of it yet. @XVilka

[2890148303]

I think it's so hard and I can't understand it completely.

[jobnz]

I would be happy to do this, if no one else is working on it.

[vickvey]

Hey i opened this as this was tagged with good first issue?? but how do i contribute into this and also i dont know what to contribute??!