[Bug analyzer/111095] New: -Wanalyzer-out-of-bounds false negative with `return l_1322[9];`

[dale.mengli.ming at proton dot me via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111095

            Bug ID: 111095
           Summary: -Wanalyzer-out-of-bounds false negative with `return
                    l_1322[9];`
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: dale.mengli.ming at proton dot me
  Target Milestone: ---

Hi,in this case(https://godbolt.org/z/sKPxGrG8z), the array `l_1322` has a
capacity of 7. However, in relation to the `return l_1322[9]` statement, it
appears(with -O1, -O2, -O3) that the analyzer don't report any related
warnings.

Thanks for taking the time to look at this case, even though I'm not sure if
it's helpful for improving the analyzer.