Re: Not good for Ada endorsement

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 7/15/21 6:29 PM, Lucretia wrote:
> On Thursday, 15 July 2021 at 16:56:40 UTC+1, Jeffrey R. Carter wrote:
> 
>> A packed array of Boolean requires all the operations above, plus shifting the
>> bit to the LSB and treating the result as a Boolean, so it may not be that
> 
> Don't need to shift to the LSB, only need to shift the 1 to the bit location you want to test, invert and then check against 0.

You know that that is enough, and may be what you're doing manually, but the 
compiler may not know that. If A is a packed array of Boolean, then A (I) has 
type Boolean. Unless the compiler can optimize it (and maybe it can), it would 
normally need to shift the bit down so it can be treated as a value of type 
Boolean, and then apply whatever you do with the resulting Boolean value.

-- 
Jeff Carter
"How'd you like to hide the egg and gurgitate
a few saucers of mocha java?"
Never Give a Sucker an Even Break
101