This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
pragma Inspection_Point (was: committed: Ada updates)
- From: Laurent GUERBY <laurent at guerby dot net>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: gcc at gcc dot gnu dot org, dewar at gnat dot com
- Date: Thu, 08 Apr 2004 20:35:40 +0200
- Subject: pragma Inspection_Point (was: committed: Ada updates)
- References: <10404081825.AA20410@vlsi1.ultra.nyu.edu>
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