Re: Pragma Specs

[acken@informatik.uni-kl.de]

>  Date: Fri, 19 Apr 96 07:34:17 EDT
>  From: Mike Griebling <grieblm@trt.allied.com>
>  
>  Comments on the Pragmas:
>  
>  Conversion Error: I think this can be removed.

Consider it done ;-).

>  Invalid Cast: This might apply if a byte-aligned record (ie. it
>  only contains byte-size pieces) is being cast into a
>  longword-aligned record (containing at least one longword)?  The
>  processor would generate an alignment exception.

Mh.  Misaligned memory accesses raise an exception.  But this is
something that has to be caught by the runtime system.  I've added a
warning if SYSTEM.VAL(T,x) is done with T.align>x.align.  This should
settle this for the front-end.  I'll remove `Invalid Cast' from the
Pragmas text.

>  DebugMode would just set a debug flag.  If the capability to debug
>  just a section of code is given, the debug flag would have to be an
>  attribute of that code section?  I'm not clear on how the GSA would
>  attach attributes to sections of code though.  It may be cleaner to
>  just allow module-level debug specification in which case a global
>  debug flag would suffice.

I'd prefer the debug flag to hold for a whole module, too.  Does
someone want a selective `debug', that can be enabled/disabled for
every procedure/module body (like StackCheck)?

-- mva