This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: committed: Ada updates
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: laurent at guerby dot net
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 8 Apr 04 14:25:52 EDT
- Subject: Re: committed: Ada updates
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).
I never noticed that.
Perhaps the proper implementation is indeed to put an assigment of the variable
to itself at that point and make the variable volatile.