[Bug analyzer/104417] [12 Regression] ICE in check_dynamic_size_for_taint, at analyzer/sm-taint.cc:1058

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

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

--- 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:0c04ac0e15830b94a9f1e0715d92a4a2558dda03

commit r12-7087-g0c04ac0e15830b94a9f1e0715d92a4a2558dda03
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Feb 7 14:00:55 2022 -0500

    analyzer: fix ICE on realloc of non-heap [PR104417]

    gcc/analyzer/ChangeLog:
            PR analyzer/104417
            * sm-taint.cc (tainted_allocation_size::tainted_allocation_size):
            Remove overzealous assertion.
            (tainted_allocation_size::emit): Likewise.
            (region_model::check_dynamic_size_for_taint): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/104417
            * gcc.dg/analyzer/pr104417.c: New test.

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