https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582
--- Comment #20 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > So I'm going to look at this again. Some random thoughts on the Ada bools > though. It would be nice if the Ada FE could leave boolean_type_node > untouched so that when the middle-end produces a compare to feed a branch > it does not end up using the 8-bit precision bool (because there's no out-of > range values to be considered for a compare result). Basically keep the > Ada boolean "data type" separate from the middle-end boolean "logical type". IIRC I tried that but this was pessimizing because of spurious conversions.
