https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88662
--- Comment #20 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- (In reply to Joseph S. Myers from comment #18) > What aspects of the psABI for bool do you say GCC does not respect? I meant in general. So I've filed PR121693 about _BitInt, where nonzero padding bits are allowed by the psABI, but GCC fails to handle that. This affects _Bool when converting a _BitInt(1) to _Bool, but probably only because of the issue on _BitInt. (In reply to Andrew Pinski from comment #19) > Plus I have been fixing up issues recently related to bools inside unions at > optimization levels so I am curious if you have more testcases? I don't have any other testcase than those in PR121693. But I'm wondering whether there are platforms for which the padding bits may be nonzero, in which case other bugs might be found.