Fix for #1577: The bug reported in #1577 has been resolved. A test case that reproduces the issue has been added to ensure the proper functioning of the fix.
This fix and test cases are ported from the SootUp PR #405.
Additional Context:
A previous PR (#1579) attempting to address these issues was closed due to the lack of test cases. The need for test cases is emphasized to avoid a similar scenario.
The decision to include the fix and test cases from SootUp PR #405 is based on their relevance and alignment with the reported issues.
Testing:
All test cases pass successfully when running the following commands locally:
mvn -B clean test -PJava8
mvn -B clean test -PJava9
mvn -B clean test -PJava11
Changes Made:
This fix and test cases are ported from the SootUp PR #405.
Additional Context:
Testing:
All test cases pass successfully when running the following commands locally: