[typetools/checker-framework] e435ce: Resource Leak Checker: Fix ClassCastException when...

0 views
Skip to first unread message

Narges Shadab

unread,
May 12, 2022, 5:05:24 PM5/12/22
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: e435ce4852981569dae07099e1ab7b274aa2c22d
https://github.com/typetools/checker-framework/commit/e435ce4852981569dae07099e1ab7b274aa2c22d
Author: Narges Shadab <54193416+...@users.noreply.github.com>
Date: 2022-05-12 (Thu, 12 May 2022)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
A checker/tests/resourceleak/HDFSReport2.java

Log Message:
-----------
Resource Leak Checker: Fix ClassCastException when rhs of an assignment in try-with-resources is a field (#5139)


Reply all
Reply to author
Forward
0 new messages