Un paramètre constant qui varie ?

Bonjour,
Un petit problème amusant dans une fonction : un paramètre entier change de valeur dans le code suivant...

Code:

---

1 2 3 4 5 6 7 8 9 10 11

function lyRead(id: PSQLite3_File; Data: PByteArray; Size: integer; Offset: int64): integer; cdecl; var SizeRead: integer; begin ShowMessage('Enter Read'); Seek(id^.F_File, Offset); BlockRead(id^.F_File, Data, Size, SizeRead); // Size à lire = 100 if SizeRead<>Size // SizeRead vaut 100, mais Size ne vaut plus 100 !!! then raise Exception.Create('Size Read Error') // => le test me jette else Result:=SQLITE_OK; end;

---

mais ceci se passe fort bien !?!?!?

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

function lyRead(id: PSQLite3_File; Data: PByteArray; Size: integer; Offset: int64): integer; cdecl; var SizeRead: integer; temp: integer; begin ShowMessage('Enter Read'); Seek(id^.F_File, Offset); temp:=Size; // voici une variable BlockRead(id^.F_File, Data, Size, SizeRead); if SizeRead<>temp // bien constante !!! then raise Exception.Create('Size Read Error') else Result:=SQLITE_OK; // tout arrive... end;

---

tout en notant que l'examen de la valeur de Size après le BlockRead vaut dans les 2 cas 1713399156, et que la définition de la fonction est

Code:

---

Procedure BlockRead(var f:File;var Buf;count:Longint;var Result:Longint);

---

où le paramètre Count est passé par valeur...

Dans la mesure où le code ci-dessous fonctionne également, mais où le paramètre Size vaut lui aussi la valeur mystère après exécution (!) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25

function lyRead(id: PSQLite3_File; Data: PByteArray; Size: integer; Offset: int64): integer; cdecl; var ReadSize, SizeRead, i: integer; P: PByte; begin ShowMessage('Enter Read'); ReadSize:=Size; Seek(id^.F_File, Offset); BlockRead(id^.F_File, Data, ReadSize, SizeRead); if SizeRead=ReadSize then Result:=SQLITE_OK else begin if SizeRead>ReadSize then raise Exception.Create('Oversize Read Error') else begin Result:=SQLITE_IOERR_SHORT_READ; P:=@Data^[SizeRead]; for i:=1 to ReadSize-SizeRead do begin P^:=0; Inc(P); end; end; end; end;

---

Je suis allé revoir le prototype en C que j'ai traduit :

Code:

---

int (*xRead)(sqlite3_file*, void*, int iAmt, sqlite3_int64 iOfst);

---

et je ne vois pas d'erreur...
le fait d'ajouter const devant Size ne change rien (ça m'aurait étonné).

[EDIT] L'ordre des paramètres n'est pas en cause : ils arrivent bien dans l'ordre attendu...

et ça fait quoi si tu fais un

Code:

---

1 2 3 4 5 6 7 8 9

... {$IFDEF WIN32} AllocConsole; {$ENDIF} WriteLn('ReadSize = ', ReadSize); BlockRead(id^.F_File, Data, ReadSize, SizeRead); WriteLn('ReadSize = ', ReadSize); ...

---

Code:

---

1 2 3 4 5 6 7 8

ReadSize:=Size; AllocConsole; WriteLn('ReadSize = ', IntToStr(ReadSize)); // 100 WriteLn('Size = ', IntToStr(Size)); // 100 Seek(id^.F_File, Offset); BlockRead(id^.F_File, Data, ReadSize, SizeRead); WriteLn('ReadSize = ', IntToStr(ReadSize)); // 100 WriteLn('Size = ', IntToStr(Size)); // 1713399156 !!!

---

C'est choquant !

ce doit être un bug d'optimisation je suppose, essai de la désactiver {$O-}

NB: WriteLn sait écrire des entiers, le IntToStr n'est pas nécessaire.

Effectivement, le comportement redevient plus sain en désoptimisant ! :ccool: