Italian community of Lazarus and Free Pascal

Programmazione => Generale => Topic aperto da: DragoRosso - Febbraio 05, 2025, 11:38:33 pm

Titolo: StrtoInt non gestisce l'overflow
Inserito da: DragoRosso - Febbraio 05, 2025, 11:38:33 pm
Ciao.

Riporto dal solito forum int. una segnalazione che ritengo abbastanza importante (qui il link: https://forum.lazarus.freepascal.org/index.php/topic,70110.0.html ):

eseguendo una conversione da stringa ad intero, se il risultato ha un valore maggiore del limite di capacità della variabile ricevente sembra che nessun errore venga generato.
Il problema si presenta sia con StrToInt() che con TryStrToInt() e pare che sia presente solo nel compilatore a 64 bit.
Codice: [Seleziona]
    program PgmStrToInt;
     
    uses
      SysUtils;
     
    const
       cStr: string = '355685667191548007';
     
    var
      vStr: String;
      vInt: integer;
      vInt64: int64;
     
    begin
      vStr := cStr + '8';                  // Usa una variabile
     
      vInt64 := StrToInt64(vStr);               // OK
      WriteLn(vInt64, ' ', HexStr(vInt64, 16)); // OK
     
      vInt := StrToInt(vStr); // QUI DEVE GENERARE UN ERRORE, MA NON ACCADE
      WriteLn(vInt, ' ', HexStr(vInt, 8)); // Sembra che mantenga solo i 4 byte più "bassi"
     
      WriteLn(TryStrToInt(vStr, vInt));    // Ritorna TRUE (dovrebbe essere FALSE)
     
      ReadLn;
    end.
Titolo: Re:StrtoInt non gestisce l'overflow
Inserito da: xinyiman - Febbraio 06, 2025, 08:27:27 am
Questo è abbastanza grave come bug.
Titolo: Re:StrtoInt non gestisce l'overflow
Inserito da: DragoRosso - Febbraio 06, 2025, 09:39:06 am
Questo è abbastanza grave come bug.

In generale si. Diciamo che in mancanza di un range check (che in questo caso comunque non funziona), potrebbe essere che StrToInt sia plausibile che assegni in overflow senza errore (accade normalmente in molte api di Windows ad esempio dove espressamente si viene messi in guardia nella documentazione). La procedura move() o tutte le funzioni di conversione in C fanno lo stesso.

Non è invece "scusabile" il comportamento di TryStrToInt secondo me.

Comunque penso metteranno a posto il tutto e con l'uscita del 4.0 si avrà un Lazarus tirato a lucido.
Titolo: Re:StrtoInt non gestisce l'overflow
Inserito da: nomorelogic - Febbraio 06, 2025, 11:30:47 am
giusto per conoscenza
dal thread sul forum ufficiale hanno segnalato il bug
https://gitlab.com/freepascal.org/fpc/source/-/issues/41136 (https://gitlab.com/freepascal.org/fpc/source/-/issues/41136)
Titolo: Re:StrtoInt non gestisce l'overflow
Inserito da: DragoRosso - Febbraio 06, 2025, 01:40:03 pm
Si, lo avevano già annunciato.

E il bug, ancorchè in gitlab venga ipotizzato come risolto (sembra si sembra no, cambia ad ogni post) è presente in fpc 3.2.2 (cioè l'ultima release stabile).

Verrà risolto sicuramente con la prossima uscita con la nuova release di fpc.

Non penso rilascino una release intermedia.