https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88662
--- Comment #16 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- "non-value representation" is simply a newer name for what used to be called "trap representation"; there is no distinction of meaning. It's for the psABI to document the valid representations of bool on a given platform.
