Es wird nicht nur Code wegoptimiert der nicht erreichbar ist, sondern auch überflüssiger Code. Zur Verdeutlichung mal das folgende (zugegebenermaßen recht sinnlose) Beispiel:
Delphi-Quellcode:
procedure TForm1.Button1Click(Sender: TObject);
var a,b:integer;
begin
a:=1;
b:=2;
showmessage('a='+IntToStr(a));
end;
Die Zeile b:=2; ist nicht notwendig da b nie verwendet wird, deshalb wird sie wegoptimiert.