(j3.2006) Dummy arguments, asynchronous, volatile

[Van Snyder]

Aleks has convinced me that the restrictions on asynchronous and
volatile in 12.5.2.4p18, C1237-9, the mention of VOLATILE in C557, and
C559 are nonsense.  What they're trying to achieve ought to be in notes,
or maybe in Annex C.  Perhaps Note 12.27 should be replaced by something
like "The ASYNCHRONOUS and VOLATILE attributes for a dummy argument
apply only to the dummy argument and not necessarily to the
corresponding actual argument.  Similarly, the ASYNCHRONOUS and VOLATILE
attributes for a dummy argument apply only to the actual argument and
not necessarily to the corresponding dummy argument (5.3.4, 5.3.19).  If
both the dummy argument and the corresponding actual argument have the
ASYNCHRONOUS or VOLATILE attribute, the volatility or asynchrony of the
actual and dummy arguments are independent."  Otherwise, we don't really
believe 5.3.4p4 and 5.3.19p2, so we ought to delete them.

-- 
Van Snyder                    |  What fraction of Americans believe 
Van.Snyder at jpl.nasa.gov       |  Wrestling is real and NASA is fake?
Any alleged opinions are my own and have not been approved or
disapproved by JPL, CalTech, NASA, the President, or anybody else.