[Bug analyzer/125622] [14/15/16/17 Regression] False positive Wanalyzer-deref-before-check fanalyzer warnings for e.g. strchr()

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[14/15 Regression] False    |[14/15/16/17 Regression]
                   |positive                    |False positive
                   |Wanalyzer-deref-before-chec |Wanalyzer-deref-before-chec
                   |k fanalyzer warnings for    |k fanalyzer warnings for
                   |e.g. strchr()               |e.g. strchr()
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2026-06-08
     Ever confirmed|0                           |1
           Keywords|                            |false-positive
   Target Milestone|---                         |14.4

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed on trunk.  We're likely confused by UBSAN.