eclipse-jdt / eclipse-jdt/eclipse.jdt.core
False potential resource leak for java.nio.file.Path.getFileSystem()
Open
- 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
This seems like a major flaw of NIO type system, and deserves an explicit analysis exception.
Contributor guide
Assessment
This issue has not been assessed yet.