https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88662
--- Comment #15 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- Some clarification to what I've said: I mean that GCC should document that nonzero padding bits for _Bool give non-value representations (such representations are not necessarily trap representations, contrary to what the bug title "Document trap representations of _Bool" seems to imply).