Might be. There certainly were bugs in my understanding of micro-controllers and compilers at the time...

EDIT: but SDCC indeed ignored 'volatile': https://sourceforge.net/p/sdcc/bugs/436/