False positive with OBL_UNSATISFIED_OBLIGATION_EXCEPTION_EDGE

[victornoel]

The following code:

public class Test {
    public Test() {
        Optional.empty().orElseGet(
            () -> Optional.ofNullable(Test.class.getResourceAsStream("file"))
                .orElseThrow(() -> new IllegalArgumentException("invalid file file in classpath")));
    }
}

raises: Test.lambda$0() may fail to clean up java.io.InputStream [Of Concern(20), Normal confidence].

I think it shouldn't :)

[ThrawnCA]

You're getting a resource as a stream. What code will close the stream?

[victornoel]

@ThrawnCA yep, sorry, by making the example minimal I removed any reality to it :)

Here is an updated one:

public class Test {
    public Test() throws IllegalArgumentException, IOException {
        try (InputStream s =
            Optional.<InputStream>empty().orElseGet(() -> Optional.ofNullable(Test.class.getResourceAsStream("file"))
                .orElseThrow(() -> new IllegalArgumentException("invalid file file in classpath")))) {

        }
    }
}

[iloveeclipse]

Code compiled with Java 11? If yes, known JDK bug.

[victornoel]

@iloveeclipse no, it is with Java 8