https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122478
--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 29 Oct 2025, artemiyv at acm dot org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122478 > > --- Comment #3 from Artemiy Volkov <artemiyv at acm dot org> --- > Sorry for the noise and I'm willing to fix up the match.pd pattern, but could > someone please help me understand why and under which conditions this > construct > is legitimate: > > <unnamed-unsigned:1> _19; > unsigned char _180; > _19 = BIT_FIELD_REF <mask__701.18_30, 1, 12>; > _180 = VIEW_CONVERT_EXPR<unsigned char>(_19); > > given gcc/tree.def:476-477: > > "It is undefined if the type of the input and of the expression have different > sizes." The size of both is the same, 1 byte.
