Re: Beware: Rep spec on an enumeration type clause

[Ken Garlington <kennieg@nospam.flash.net>]

Brian Orpin wrote:

> In 83 I would have simply checked to see if it was valid by
> 
> Valid := I in T'First .. T'Last;
> 
> Certainly on the Tartan Compiler for C40 this detects any invalid (not
> represented) values of T.

Be careful with this! Consider the following example (not compiled, so
forgive any minor errors):

  type IO_Value is range 0 .. 15;
  for IO_Value'Size use 16;

  Raw_Value : IO_Value;

  Raw_IO.Read ( Raw_Value );
  if Raw_Value not in IO_Value'Range then
    <handle error>
  else
    ...
  end if;

If Raw_IO.Read returns a value out of range 0 .. 15, the check is
NOT GUARANTEED TO WORK. In particular, the TI/Tartan compiler for
the MIL-STD-1750 (among others) will delete the check under almost
all optimization levels (a fact I learned from painful personal
experience), since Raw_Value is "known" to be in the range of its
type upon return from the Read call.

This is at least one of the reasons why 'Valid was introduced in
the first place.

> 
> --
> Brian Orpin    (These thoughts are my own ......... for once!)
> brian.orpin@gecm(dot)com or BrianOrpin@Bigfoot.com
> http://www.borpin.demon.co.uk/  **Anti-spam reply-to**