[Bug tree-optimization/97255] [8/9/10 Regression] Vectorizer gives a boolean a value of 255

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:67baa11f68e72cf562c491a8107bcdf3f1d6fc9b

commit r10-8878-g67baa11f68e72cf562c491a8107bcdf3f1d6fc9b
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Oct 1 09:29:32 2020 +0200

    tree-optimization/97255 - missing vector bool pattern of SRAed bool

    SRA tends to use VIEW_CONVERT_EXPR when replacing bool fields with
    unsigned char fields.  Those are not handled in vector bool pattern
    detection causing vector true values to leak.  The following fixes
    this by turning those into b ? 1 : 0 as well.

    2020-10-01  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/97255
            * tree-vect-patterns.c (vect_recog_bool_pattern): Also handle
            VIEW_CONVERT_EXPR.

            * g++.dg/vect/pr97255.cc: New testcase.