pragma Inspection_Point (was: committed: Ada updates)

[Laurent GUERBY]

On Thu, 2004-04-08 at 20:25, Richard Kenner wrote:
> Perhaps the proper implementation is indeed to put an assigment of the variable
> to itself at that point and make the variable volatile.

My understanding of this feature is that it's a kind of flexible
volatile since you can tell the compiler exactly when your want your
variable commited to memory, and before that the compiler is free to use
registers&cie with respect to the variable (ie: generate good code). May
be Robert Dewar can tell us more, but I'm pretty sure it's a very rarely
used feature so not that important :).

Laurent