This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: committed: Ada updates
- From: Andi Kleen <ak at muc dot de>
- To: Laurent GUERBY <laurent at guerby dot net>
- Cc: gcc at gcc dot gnu dot org
- Date: Thu, 08 Apr 2004 20:39:09 +0200
- Subject: Re: committed: Ada updates
- References: <10404081806.AA20160@vlsi1.ultra.nyu.edu><1081448251.9591.49.camel@pc>
Laurent GUERBY <laurent@guerby.net> writes:
> 7.a Ramification: The compiler is inhibited from moving an assignment to
> an inspectable variable past an inspection point for that variable.
> On the other hand, the evaluation of an expression that might raise
> an exception may be moved past an inspection point (see 11.6).
[...]
Sounds like asm("" ::: "memory")
Perhaps you can just use that?
-Andi