Description Stephan Herrmann 2013-02-17 13:53:48 EST

From bug 378724 comment 15:

----
Cast obscures nullness of a field:

class NPEonCast {

    @Nullable
    private Object nullable;

    public void test() {
        if (nullable instanceof Number) {
            ((Number)nullable).intValue(); // A
        }
        if (nullable != null) {
            nullable.toString(); // B
        }
        nullable.toString(); // C
    }

}

Error missing for A (while correct for B and C)
----

While the result would be correct when syntactic analysis for fields is enabled (because the instanceof provides protection), without syntactic analysis we should see a warning, which we don't.