Methodenrücksprung fehlerhaft bei hoher Optimierung

[MitjaStachowiak]

Hallo,

ich habe eben ein komisches Problem in einem etwas größeren Projekt, das ich leider nicht isolieren konnte: Das Problem tritt in Unit1 in der Procedure TGeschwindigkeitsMessung.XMLToData auf. Diese ruft am Ende eine Methode FromStrings auf, welche auch fehlerlos durch läuft. Aber beim Rücksprung von FromStrings nach XMLToData kommt ein Exception. Der Debugger springt zu irgend einer Assember-Adresse 44.

Der Fehler tritt nur bei Optimierungsstufe 2 und 3 auf.

Ich verwende derzeit eine trunc-Version (3.0.1) von Freepascal, wegen Generics. Mit der aktuellen Version lässt sich die Unit PolynomUtil nicht kompilieren.

Ich habe das Projekt als zip angehängt. Wer zufällig auch irgend eine neuere Version von FreePascal hat und das Ganze kompilieren kann, öffne im laufenden Programm einfach die Datei Reinheim.xml (Ebenfalls im zip enthalten). Dann klicke er auf die "Route 426 Da". Dadurch werden die betroffenen Funktionen aufgerufen. Es sollte eine Message Box "FromStrings ist ferig!" erscheinen, danach eigentlich "XMLToData ist fertig!", aber stattdessen kommt ein AccessViolation.

[BeniBela]

Code: Alles auswählen

 
SelPos : Array [0..3] of integer;
...
if (k <= 5) then SelPos[k] := j;
 

[MitjaStachowiak]

Au, ja, das war's. In SelPos sollten Textmarkierungen gespeichert werden, damit bei einer ungültigen Eingabe die betreffende Zeile markiert werden kann. Aber so einer nebensächlichen Funktionalität habe ich nicht so viel Aufmerksamkeit gewidmet und als später weitere Spalten hinzu gekommen sind, habe ich das Array nicht erweitert

Ich hätte nicht gedacht, dass ein Überlauf eines statischen Arrays immer noch nicht festgestellt werden kann. Das ist ja wie in C++

[theo]

Ich hätte nicht gedacht, dass ein Überlauf eines statischen Arrays immer noch nicht festgestellt werden kann. Das ist ja wie in C++

Wenn man statt Sprüche klopfen die Bereichsprüfung einschaltet, klappt das vielleicht sogar.

[marcov]

Ich hätte nicht gedacht, dass ein Überlauf eines statischen Arrays immer noch nicht festgestellt werden kann. Das ist ja wie in C++

Rangechecks sind eingeschaltet? Kompiliere oft mit -Criot

Im Falle Komplizierte OOP Kode (zb Parsetrees oder andere heterogene Bäume) auch R daran zufügen, also -CRriot

[MitjaStachowiak]

Ah, dann wird es erkannt. Aber erst zur Laufzeit. Ok, alles andere wäre auch viel verlangt.

Muss mich mal mit den Erstellmodi beschäftigen, damit die Range Checks dann vor dem Veröffentlichen 'raus fliegen.