[Bug analyzer/116865] [14/15/16 Regression] ICE when compiling GNU coreutils numfmt with -fanalyzer since r14-9527-g1579394c9ecf3d

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

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

--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:53913b45f2dc4ba0f81845670d0877b7638d53d3

commit r16-7274-g53913b45f2dc4ba0f81845670d0877b7638d53d3
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Feb 3 18:52:35 2026 -0500

    analyzer: fix ICE on pointer offsets [PR116865]

    gcc/analyzer/ChangeLog:
            PR analyzer/116865
            * region-model-manager.cc
            (region_model_manager::get_offset_region): Use POINTER_PLUS_EXPR
            rather than PLUS_EXPR for pointer offsets.

    gcc/testsuite/ChangeLog:
            PR analyzer/116865
            * c-c++-common/analyzer/ice-pr116865.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>