procedure Err1(out create_new_value: string; const task: integer);
begin
   case task of
     0: create_new_value := 'aaaa';
//    1: create_new_value := 'bbbb';  -- убили при отлдадке и забыли включить обратно
     2: create_new_value := 'cccc';
//  else create_new_value := 'dddd';
   end;
end;

function Err2(const task: integer): string;
begin
   case task of
     0: Result := '111';
//    1: Result := '222';  
     2: Result := '333';
//  else Result := '444';
   end;
end;

function Err3(const task: integer): string;
begin
   Result := IntToStr(task) + Result;
end;

procedure TestErr; var s: string;
begin
   s := '--------';

   Err1(s, 1); ShowMessage(s);
 // ну тут мы более-менее "морально готовы", что присваивания не будет

   s := Err2(1); ShowMessage(s);  
 // тут тоже присваивания НЕ БУДЕТ, "не верь глазам своим" (с)

   s := Err3(1); ShowMessage(s);   
 // а тут будет передача значения функции из вызывающей программу внутрь функции

   ShowMessage(Err3(1));   
 // а тут будет создание невидимой анонимной переменной, у которой
 //  "хорошо, что Delphi обнуляет строки на стеке в nil!" (c)
 // так что в этом случае всё выглядит нормально и ожидаемо....
 // ...хотя лучше бы Delphi ругалась на использование неинициализированнйо переменной, чес-слово
end;