Re: Zero_Fill pragma

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Nick Roberts <nick.roberts@acm.org> wrote:
: It is important that the 17 bits not defined by the above
: representation clause are initialised to 0 in objects of this
: type. It would be truly yukky to have to declare another 17
: dummy booleans to achieve this effect. It would surely be much
: preferable to be able to just declare:
: 
:    pragma Zero_Fill(Flags_32);

Hm. Provided the "default status" of unused bits is 0?

How many (non-limited) objects of type Flags_32 would you need?
(so that an explicit initialisation function for a per-process (?)
object is not acceptable)?


(There has once been a suggestion to have a rep clause

  for X use all
   record
   ...
   end record;

or similar, I don't remember exactly.)