Микроконтроллеры

На моей практике просмотра компиляции Сишного кода (уже лет 8) всегда была ситуация, что при единственном использовании глобальной переменной (volatile не может быть локальной, это бессмыссленно) в вызываемой функции считывалось значение именно из ячейки, где находится эта переменная. Если переменная используется внутри функции более одного раза, то при входе в функцию лучше создать её копию в стеке и работать с копией, это тоже очевидно, я так всегда делаю, как и многие остальные, я думаю. За исключением случая, когда ожидается изменение переменной за время работы функции, именно там volatile необходим, но это не описываемый в начальном посте случай.