2011/5/19 Richard Guenther <richard.guent...@gmail.com>: > 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 >>
Committed at revision 173903 with suggested comment. Regards, Kai