That's exactly my point: when the compiler can decide not to do something you told it to you don't have full explicit control over everything. That's not a bad

That's exactly my point: when the compiler can decide not to do something you told it to you don't have full explicit control over everything. That's not a bad thing though - the compiler usually makes good decisions on your behalf. Usually.