https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191
--- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Jeffrey A. Law from comment #11) > Note that I just ack'd a patch from Andrew P that elides the VCE when the > underlying object has a 0/1 value and thus we don't have to worry about any > other values. It's in match.pd and may make your patch unnecessary -- I > haven't checked, but you might want to try this BZ again after this patch Note this is the opposite VCE though from my patch. Here (this bug) we are going from bool to unsigned char while the commit is about going from unsigned char to bool.
