a warning to implement

[Gabriel Dos Reis]

dewar@gnat.com (Robert Dewar) writes:

| <<Now, even in the case of fundamental interger type T, since the
| value of x is an inderterminate, that construct can be used to give
| an explicit hint to the compiler to handle « x » in special way --
| e.g. it may have a trap representation if used in a context where
| there were no intervening assignment which changed x's value in a
| definite way.  Pretty much, in the same of SNaNs.
| >>
| 
| Seems like a horrible kludge to me. 

"Horrible kludge" is in the eye of the beholder.

| If you want to tell the compiler
| something special, please do it in some direct way,

Such as?

-- Gaby