https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97255
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:f720a0d776252aac3002a0a9307a96465f1975bd commit r9-9091-gf720a0d776252aac3002a0a9307a96465f1975bd Author: Richard Biener <rguent...@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 <rguent...@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. (cherry picked from commit 36e691d3a62145fda1f4a1b3143d215cc113c10a)