[Bug analyzer/107788] [13 Regression] ICE in wide_int_to_tree_1, at tree.cc:1757 since r13-4074-g86a90006864840c2

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

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

--- 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:4e4e45a4fd341174d8231ee6a99e6fe308904f8f

commit r13-4221-g4e4e45a4fd341174d8231ee6a99e6fe308904f8f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Nov 21 19:08:18 2022 -0500

    analyzer: fix ICE on 'bind' that returns a struct [PR107788]

    gcc/analyzer/ChangeLog:
            PR analyzer/107788
            * region-model.cc (region_model::update_for_int_cst_return):
            Require that the return type be an integer type.
            (region_model::update_for_nonzero_return): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/107788
            * g++.dg/analyzer/fd-bind-pr107783.C: New test.

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