Es könnte sein, dass der Compiler Pointer auf volatile Variablen anders behandelt, denn das ist durchaus sinnvoll, weil man sonst schwer zu finden Fehler bekommen kann, wenn der Zugriff über den Pointer nicht als Volatile behandelt wird. Allerdings wäre da meiner Meinung nach nur eine Warnung angebracht, denn ausnahmnsweise könnte das ja auch mal oK sein.

Es gibt auch eine Methode einen Pointer auf ein Volatiles Ojekt zu definieren. Wie genau müßte man mal nachlesen. Da kommt bei der Defintion das Volatile irgendwo mit rein.