eclipse-jdt / eclipse-jdt/eclipse.jdt.core

False potential resource leak for java.nio.file.Path.getFileSystem()

Open
#4,018 4 comments 0 reactions 1 assignee Claimed by @stephan-herrmann View on GitHub
Dominant language
Java
Stars
237
Forks
195
Avg merge
1d 12h
Merged PRs (30d)
47

Description

# Test steps

In JDT create a method:

```java
public void reproducer() {
java.nio.file.FileSystem filesystemShouldNotBeclosed = java.nio.file.Path.of(".").getFileSystem();
filesystemShouldNotBeclosed.getSeparator();
}
```
# Expected result
No warnings

# Actual result
> Potential resource leak: 'filesystemShouldNotBeclosed' may not be closed

Image

This seems like a major flaw of NIO type system, and deserves an explicit analysis exception.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.