[Bug analyzer/96648] [11 Regression] ICE in get_field_at_bit_offset, at analyzer/region.cc:229

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from CVS 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:400abebf48a90d0797718ab7c3864de331e85b70

commit r11-2753-g400abebf48a90d0797718ab7c3864de331e85b70
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Aug 17 21:12:35 2020 -0400

    analyzer: fix ICE with negative bit offsets [PR96648]

    PR analyzer/96648 reports an ICE within get_field_at_bit_offset due
    to a negative bit offset, arising due to pointer arithmetic.

    This patch replaces an assertion with handling for this case, fixing the
    ICE.

    gcc/analyzer/ChangeLog:
            PR analyzer/96648
            * region.cc (get_field_at_bit_offset): Gracefully handle negative
            values for bit_offset.

    gcc/testsuite/ChangeLog:
            PR analyzer/96648
            * gcc.dg/analyzer/pr96648.c: New test.