[Bug tree-optimization/94784] ICE: in simplify_vector_constructor, at tree-ssa-forwprop.c:2482

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Sandiford <rsandifo@gcc.gnu.org>:

https://gcc.gnu.org/g:5328710be314dee43da8027dbff547d48b85e35e

commit r10-7987-g5328710be314dee43da8027dbff547d48b85e35e
Author: Fei Yang <felix.yang@huawei.com>
Date:   Mon Apr 27 11:08:04 2020 +0100

    forwprop: Fix ICE when building an identity constructor [PR94784]

    In the testcase for PR94784, we have two vectors with the same ABI identity
    but with different TYPE_MODEs. It would be better to flip the assert around
    so that it checks that the two vectors have equal TYPE_VECTOR_SUBPARTS and
    that converting the corresponding element types is a
useless_type_conversion_p.

    2020-04-27  Felix Yang  <felix.yang@huawei.com>

    gcc/
            PR tree-optimization/94784
            * tree-ssa-forwprop.c (simplify_vector_constructor): Flip the
            assert around so that it checks that the two vectors have equal
            TYPE_VECTOR_SUBPARTS and that converting the corresponding element
            types is a useless_type_conversion_p.

    gcc/testsuite/
            PR tree-optimization/94784
            * gcc.dg/pr94784.c: New test.