https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582
--- Comment #9 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 9 Jun 2020, ebotcazou at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582 > > --- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Well, the middle-end provides build_nonstandard_boolean_type to build boolean > types with arbitrary precision so it cannot assume they have precision 1. Yeah, that was for vector components. Not that I like it much. Can the middle-end assume that the Ada boolean types only contain 0 or 1 or are there other values that are supposed to be well-defined true or false values?
