Exactly. The optimization assumes that changing one variable does not change the other and vice versa. When they overlap in memory, this stops being true.