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

Reply via email to