Problem mit Overflow

[Muetze1]

Der Try/Except Block überprüft gar nix sondern kommt einfach nur zur Ausführung, wenn eine Exception auftritt.

So, ich habe mir das ganze mal angeschaut und musste feststellen, das die Überlaufprüfung nicht wirksam ist, wenn man Bytes addiert. Dadurch das die 32 Bit Register nutzt, wird das Overflow Flag nicht gesetzt, da auch 32-bittig addiert wird. Wenn aber nun die Bereichsprüfung mit eingeschaltet ist, dann überprüft er danach das Ergebnis, ob es kleiner gleich 255 ist und somit in ein Byte passt. Ist dies nicht der Fall, dann schmeisst er die ERangeError Exception.

Im Anhang ein Bild vom erzeugten Code beim addieren von 2 Bytes zu einem 3. Byte mit Überlauf. Man sieht gut den Sprung bei gesetztem Overflow Flag (jno), die Begrenzung der Werte vor der Addition (and xxx, $00ff) und den Sprung bei Werten kleiner gleich 255 über die BoundError Auslösung.

[Puhbaehr]

Hmm na dann werd ich doch mal den Weg der Überlaufprüfung über dem Try/Exception-Block gehen und testen.
Du sprichst im Moment von Byte und, dass das Overflow-Flag nicht anspringt sobald es einen Überlauf gibt. Der Typ Byte war in meinem Fall hier nur ein Beispiel. Die Überlaufprüfung benötige ich beim Typ Cardinal. Da zeigte das Flag Wirkung als ich zweimal 4000000000 zur Zahl hinzu addierte.
Ich möchte, um konkret zu werden, die Dateigröße auslesen und die in einem Cardinal speichern. Da der Typ Cardinal keine Dateigrößen über 4 GB Speichern kann hatte ich vor hier auf Überlauf zu prüfen für den Fall, dass Dateien über 4 GB ausgewählt werden was bei den heutigen Festplatten und Datenmengen ohne weiteres passieren kann.

Vielen Dank auf jeden Fall bis hier her.

[Muetze1]

Ok, dann gibt es ja einen Weg für dich. Aber warum nutzt du nicht einfach den Typ Int64 für die Dateigrösse? Den Overflow Check kannst du dort ja dann trotzdem noch machen, falls die Datei halt grösser ist...

[Puhbaehr]

Langsam langsam. Im Moment bin ich froh, wenn ich es schaffe 4 GB große Dateien fehlerfrei zu laden und zu verarbeiten. Mehr zu laden ist im Moment auch nicht beabsichtigt und notwendig. Im Gegenteil.
Wenn ich mit all dem hier fertig bin dann können wir evtl. darüber reden Dateien zu laden die größer sind als 16 ZB (ZettaByte; 17179869184 GigaByte) MUHA LOL nein ehrlich das reicht erstmal Danke

[Muetze1]

Es geht mir ja nicht um's Laden, das kannst du ja auch weiterhin auf 4 GB beschränken, sondern darum, dass du keine Arbeit der Variable machen brauchst, in der du die Dateigrösse ablegst.

[Puhbaehr]

Muuuh hätt ich jetzt fast gesagt.

Habe den Try-Exception-Block erst um die gesamten Anweisungen gelegt. Nachdem das nicht funzte hab ich ihn direkt um die betreffende Stelle gesetzt.

Delphi-Quellcode:

var
  FileSize: dword;
  i : Byte;
...

{$Q+}  // Überlaufprüfung aktiviert
{$R+}  // Bereichsprüfung aktiviert

FileSize := GetFileSize (FileName, nil);

for i := 0 to 255 do
 begin
  try
    FileSize := FileSize + FileSize;
  except
    on EOverflow do    // Überlaufprüfung für Gleitkommazahlen
     begin
      SetLastError (E_FILESIZE_TO_LARGE);
     end;
    on EIntOverflow do    // Überlaufprüfung für Ganzzahlen
     begin
      SetLastError (E_FILESIZE_TO_LARGE);
     end;
    on ERangeError do    // Bereichsprüfung
     begin
      SetLastError (E_FILESIZE_TO_LARGE);
     end;
    else
      SetLastError (E_FILESIZE_TO_LARGE);
     end;
   end;

Irgendwas hab ich/ist falsch. Die Überlauf- und Bereichsprüfung ist aktiviert. Was fehlt mir?

[Muetze1]

SetLastError setzt nur den Result Code der WinAPI - aber was erwartest du denn noch dazu? So lange keiner dieses Flag auswertet passiert nix weiter. Du könntest z.B. eine Exception auslösen nach dem SetLastError() mit  RaiseLastOSError; bzw. früher RaiseLastWin32Error; .

[Puhbaehr]

Ich wartete darauf, dass beim Überlauf eine Exception ausgelöst wird. Das passiert aber nicht.
...
Ne du, jetzt machen wir erstmal Pause. Für heut ist Feierabend. Nächste Woche gehts weiter

Schönes Wochende Bis dann