[Bug analyzer/111881] [14 Regression] analyzer: ICE in ensure_closed, at analyzer/constraint-manager.cc:130 with -Ofast

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-01-30
   Target Milestone|---                         |14.0
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
            Summary|analyzer: ICE in            |[14 Regression] analyzer:
                   |ensure_closed, at           |ICE in ensure_closed, at
                   |analyzer/constraint-manager |analyzer/constraint-manager
                   |.cc:130 with -Ofast         |.cc:130 with -Ofast

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Confirmed:
* affects trunk: https://godbolt.org/z/vzj4c6TE1
* doesn't seem to affect 13.2: https://godbolt.org/z/zGr3r8Poe