[Bug tree-optimization/110506] [14 Regression] Ice: tree check: expected none of vector_type, have vector_type in get_value_for_expr, at tree-ssa-ccp.cc:686

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:bd7e9856fe5bbeb487797476c4fffb660f63cf4f

commit r14-2255-gbd7e9856fe5bbeb487797476c4fffb660f63cf4f
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Jul 3 08:28:17 2023 +0200

    tree-optimization/110506 - bogus non-zero mask in CCP for vector types

    get_value_for_expr was blindlessly using TYPE_PRECISION to produce
    a mask for vector typed entities which the new tree checking now
    catches.

            PR tree-optimization/110506
            * tree-ssa-ccp.cc (get_value_for_expr): Check for integral
            type before relying on TYPE_PRECISION to produce a nonzero mask.

            * gcc.dg/pr110506.c: New testcase.