Bug 256485

Taking example from issue #226083:

public class Main {

    public static void main(String[] args) {
        Object obj = getObject();
        boolean isOkay = obj != null;
        if (true) {
            obj.toString();
        }
    }

    public static Object getObject() {
        return "something";
    }
}

This code originally provokes a possible NPE hint on obj.toString(). However when analysis of the whole class completes, it becomes known that getObject() never returns null on normal completion. 
This knowledge can be used to recompute data flow for methods which directly calls such a method. Depends on method outcome analysis, see issue #256484