I cannot immediately think of a way that the compiler could get this wrong even in theory, but similar code sequences can be messed up. The reason for this is that in theory, the compiler could use the stored-to location as temporary storage, like this: a = whatever; // Compiler uses "a" as a temporary do_something(); whatever = a; a = 1; // Intended store