#1041 False positive NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE

[Ryan W Sims]

See test case at https://gist.github.com/1747506
Briefly, annotating a field with CheckForNull gives a false positive when used in an anonymous inner class, even if the reference is inside a null check.

[William Pugh]

OK, problem is that the access to the private field is getting turned into
a call to an accessor method.

Maybe I should just inline access methods.

[Ryan W Sims]

But shouldn't the accessor call still be inside the null check?

[William Pugh]

Yes, but analysis doesn't correlate method calls. It does correlate loads from fields.