> 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.

-- 
Eric Botcazou

Reply via email to