https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91758
--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> --- > @Eric, @Jakub, @Richard: Aren't we missing something similar with the store > merging of bool:1 bit fields? > I can see the cast to 'unsigned char' from 'bool' in GIMPLE. Both should be > 1B and > so that we maybe encorporate random bits? I made a wrong assumption, one can't have value of boolean type different from 0/1. Otherwise, it will be an UBSAN: snippet2.c:34:18: runtime error: load of value 255, which is not a valid value for type 'bool'
