[typetools/checker-framework] 6994ac: Fix CFG for array accesses; thanks to Jeffrey Morl...

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 6994ac70b7332c0c1bd7191170ecce3dc75c0418
https://github.com/typetools/checker-framework/commit/6994ac70b7332c0c1bd7191170ecce3dc75c0418
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-03 (Wed, 03 Sep 2025)

Changed paths:
A checker/tests/nullness/Issue7229.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java

Log Message:
-----------
Fix CFG for array accesses; thanks to Jeffrey Morlan (#7230)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications