[Bug analyzer/101143] [12 Regression] ICE: incompatible types: 'unsigned int' and 'long unsigned int'

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

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

--- Comment #3 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:ea4e32181d7a36055b57421abd0ced4735654cf6

commit r12-1731-gea4e32181d7a36055b57421abd0ced4735654cf6
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Jun 22 13:44:57 2021 -0400

    analyzer: fix ICE on malloc/alloca param type mismatch [PR101143]

    gcc/analyzer/ChangeLog:
            PR analyzer/101143
            * region-model.cc (compat_types_p): New function.
            (region_model::create_region_for_heap_alloc): Convert assertion to
            an error check.
            (region_model::create_region_for_alloca): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/101143
            * gcc.dg/analyzer/pr101143.c: New test.

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