On Thu, May 19, 2011 at 12:45 PM, Eric Botcazou <ebotca...@adacore.com> wrote: >> Eric, how will this interact with Ada boolean types with 8 bit precision >> and those "invalid" values - will invalid values ever enter into >> expressions or are they checked before? > > IIUC the Ada semantics is that they must be checked prior to being used. Once > they are used, they are "recycled" into valid values. So the issue boils down > to how the check is implemented and it doesn't use TRUTH_(AND|OR|XOR) at all. > >> Can you think of something that would break with s/TRUTH_*_EXPR/BIT_*_EXPR/ >> for Ada? > > No, not at the moment. Thanks for asking in any case.
Kai, the patch is ok then with the comment added. Thanks, Richard. > -- > Eric Botcazou >
