Re: Static assertions

["Marin David Condic" <marin.condic.auntie.spam@pacemicro.com>]

Well, that settles that one. I thought there was a chance that you might
have been declaring something that was a subtype or derived type or your own
user defined type with a "for 'Size..." clause where just because you said
you wanted 16 bits, doesn't mean you get it. If "Integer'Size=32" is a true
statement, its hard to see "Integer'Size=16" simultaneously being true
except via compiler bug.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Jeffrey Carter" <jeffrey.carter@boeing.com> wrote in message
news:3B0451F7.6D5B7024@boeing.com...
> The code was identical to that posted by JPR, except that 32 was changed
> to 16, and 4 was changed to 8. This makes both expressions False (for
> me, but I would hope at least one of them would be False on every
> system). The test program simply used Integer'Image and Put_Line to
> output the values of the 2 constants.
>