Ok, I understand that. Thank you for the explanation. An analogous thing happens in D: int x; x = 5; The compiler front end generates two assignments

Ok, I understand that. Thank you for the explanation. An analogous thing happens in D: int x; x = 5; The compiler front end generates two assignments. But then, when it goes through the backend, the first assignment is deleted by what is known as the "dead assignment optimization".