On Dec 23 2008, Michael Ingrassia wrote:

Since Fortran hasn't had END BLOCK statements until now I guess there's no way to survey whether all vendors flush registers and set up barriers to code motion at an END BLOCK.

...

While this might work as a practical matter, I don't think the language semantics requires that.

Could the semantics require that, in principle ?

Not without major changes to the specification model, no. Regards, Nick Maclaren, University of Cambridge Computing Service, New Museums Site, Pembroke Street, Cambridge CB2 3QH, England. Email: [email protected] Tel.: +44 1223 334761 Fax: +44 1223 334679