# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1488910159 -3600
# Node ID 3667aa107f4840a1b924c8070af729be0e681714
# Parent  92216ba519acc0e1f94e72937d8f3ae81f7405bb
Make parameters potentially volatile.

diff -r 92216ba519ac -r 3667aa107f48 translator.py
--- a/translator.py	Tue Mar 07 19:03:33 2017 +0100
+++ b/translator.py	Tue Mar 07 19:09:19 2017 +0100
@@ -1873,7 +1873,9 @@
         # Generate aliases for the parameters.
 
         for i, parameter in enumerate(parameters):
-            self.writeline("__attr * const %s = &__args[%d];" % (encode_path(parameter), i+1))
+            self.writeline("%s__attr * const %s = &__args[%d];" % (
+                parameter in self.volatile_locals and "volatile " or "",
+                encode_path(parameter), i+1))
 
     def start_if(self, first, test_ref):
         statement = "%sif" % (not first and "else " or "")