committed: Ada updates

[Andi Kleen]

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