[RFC] Volatile attribute for host/use-associated variables (PR30522)

[Thomas Koenig]

On Sat, Feb 03, 2007 at 06:36:08PM +0100, Tobias Burnus wrote:
> Hi,
> 
> it is possible to set the VOLATILE attribute to use/host-associated
> variables. However, the scope of VOLATILE is limited and shall not
> propagate upwards.
> 
> Currently, we set simply
>    sym->attr->volatile_ = 1;
> And hence the symbol is volatile everywhere.

Stupid question:  How would the user program know?

VOLATILE, as I understand it, means we can't do certain
optimizations.  If we don't do these optimizations anywhere,
can we generate wrong code somehow?

	Thomas