DIP62: Volatile type qualifier for unoptimizable variables in embedded programming

[bearophile via Digitalmars-d]

Johannes Pfau:

> //In runtime:
> enum int* SOME_REG = 0xFFFF;
>
> //In user code
> peek(SOME_REG);
> poke(SOME_REG);
> *SOME_REG = 1; //Oops, forgot poke! This is not acceptable

Perhaps this syntax:

volatile enum int* SOME_REG = 0xFFFF;

Could turn this in a syntax error (only peek/poke are allowed to 
write and read from this address):

*SOME_REG = 1;

Bye,
bearophile