Вопрос по volatile Опции

[Alt.F4]

Здравствуйте.
В очередной раз начитался про volatile + чудные компиляторы и насмотревшись "глупых" примеров родился вопрос: стоит ли указывать переменные и/или кольцевые буферы, используемые в прерывании, как volatile, если ни одна из переменных при объявлении не принимает значение, все необходимые начальные значения прописываются в отдельной функции (все изменения таких переменных в любом случае делаются атомарно, с запретом прерываний)?
Т.е. компилятор при работе с такими переменными (например, байтом флагов) в принципе не располагает информацией о их значениях, чтобы как-то вырезать условия с их проверкой, как изображается в примерах с неиспользованием volatile.
Спасибо.

[aiwa]

А если я работаю с переменной через указатель на неё, то что?
Я должен такую переменную объявлять как волатайл?

Правила те же: указатель должен быть объявлен как указатель на volatile-переменную.
Естественно компилятор сгенерирует соответствующий код: перед каждым использованием переменной он будет считывать ее значение заново.

Господа никогда не понимал таких споров. Процесс важен или результат? Сюрпризы возможны, не проще ли дать volatile и забыть?

"Споры" нужны для того, чтобы понять при каких ситуациях "сюрпризы возможны".

[Укушенный воблой]

Правила те же: указатель должен быть объявлен как указатель на volatile-переменную.

А сама переменная?
Сама переменная должна объявляться как волатАЙл если её используют через указатель?
Что-то то я не видел в реальном коде разных разработчиков этого

Причем используют неявно. Без использования операции "взятие адреса" (амперсанд)

[XVR]

А сама переменная?
Сама переменная должна объявляться как волатАЙл если её используют через указатель?

Нет. Компилятор вещь достаточно умная - он понимает что такое указатель и к чему может привести взятие адреса переменной (для этой переменной)
Он даже понимает кое что в том, куда этот указатель может указывать - см ключевое слово restrict и опцию ansi alias ( http://www.atmos.washington.edu/~ovens/ifo...nsi_alias_f.htm )

[Укушенный воблой]

Нет. Компилятор вещь достаточно умная - он понимает что такое указатель и к чему может привести взятие адреса переменной (для этой переменной)

Вы не читатель?
Так я повторю:

Причем используют неявно. Без использования операции "взятие адреса" (амперсанд)

[XVR]

Вы не читатель?
Так я повторю:
Сама переменная должна объявляться как волатАЙл если её используют через указатель?
Причем используют неявно. Без использования операции "взятие адреса" (амперсанд)

Так не бывает
Приведите пример.

[Укушенный воблой]

Так не бывает

Зачем?
С Вами и так все ясно.