Bug compilazione - inline -

[DragoRosso]

Ciao a tutti, segnalo questo bug con la funzionalità inline. Sembra sia presente da diverso tempo in tutte le versioni di FPC.
In pratica chiamando un funzione "inlined" in particolari circostanze può venire sovrascritta la variabile passata come parametro ... quando invece non dovrebbe.

Questo è il link al bug tracker: https://gitlab.com/freepascal.org/fpc/source/-/issues/41431

Codice Seleziona Espandi

program Project1;
{$mode objfpc}

{$R *.res}

procedure ProcA(Value: Integer); inline;
begin
  Value := 7;
end;

procedure ProcB; inline;
var
  Cnt: Integer;
begin
  Cnt := 0;
  WriteLn(cnt);
  ProcA(Cnt);
  WriteLn(cnt);
end;

begin
  ProcB;
  ReadLn;
end.

Risultato:

Codice Seleziona Espandi

0
7 (dovrebbe rimanere 0 !!!)

P.S.: il bello che il compilatore avverte che VALUE non viene usata anche se assegnata 

[Lorenzo]

Chiedo venia se non riesco a trovare più il link del sito dove ho appresso la tale soluzione.
Io tendo ad usare le direttive del preprocessore davanti la parola chiave inline
Ad esempio: {$IFNDEF DEBUG}inline;{$ENDIF}

E l'esecuzione mi appariva liscia.

[DragoRosso]

Chiedo venia se non riesco a trovare più il link del sito dove ho appresso la tale soluzione.
Io tendo ad usare le direttive del preprocessore davanti la parola chiave inline
Ad esempio: {$IFNDEF DEBUG}inline;{$ENDIF}

E l'esecuzione mi appariva liscia.

Questo bug non dipende dalle condizioni di compilazione. E' un errore che il compilatore compie sempre in alcune determinate situzioni.

E' necessario attendere la patch.

Come alternativa, per ora, è necessario di fatto non usare l'inline dove un comportamento simile potrebbe pregiudicare il funzionamento del codice. Ci sono anche altre alternative che potrebbero funzionare, come inserire la dichiarazione di "const" nel parametro di ProcA (da testare se elimna il problema).