It's true that an optimizing compiler could rewrite (1) into (3), but not in every case. Eg. my example somewhere below of keeping another reference to "a" (eg

It's true that an optimizing compiler could rewrite (1) into (3), but not in every case. Eg. my example somewhere below of keeping another reference to "a" (eg. "c = a") would stop it from doing that optimization.