FPC: Typenprüfung misslingt

[Euklid]

Hallo zusammen,

für die Version 2.2.4 habe ich einen mutmaßlichen Bug im FreePascal-Compiler gefunden. Um den Bug zu separieren habe ich ein Demo-Projekt geschrieben, welches diesem Beitrag angehängt ist.
Ich bitte Euch, die Demo-Datei mit einer aktuellen Version des Compilers zu testen und dabei zu prüfen, ob der Bug noch auftritt. Wenn ja, mache ich einen Bugreport.

Wie im Demoprojekt zu erkennen, stellt der Compiler bei der Übergabe der Variable "Number" nicht fest, dass die Datentypen zueinander inkompatibel sind. Dieser Bug tritt nur im Delphi-Mode auf, der am Anfang der Unit eingestellt wird.

Viele Grüße, Euklid


EDIT: _X_ berichtete mir über den IRC, dass das Problem mit FPC-Version 2.4.0-2 behoben ist.

[Teekeks]

Das ist nicht direkt ein Fehler.

Du übergibst im Endeffekt einfach nur einen Pointer, für den Funktionsaufruf ist das auch in diesem Fall wirklich nichts weiter als ein untypisierter Pointer.

[shokwave]

Also bei mir kommt:

Code: Alles auswählen

Hint: Start of reading config file /home/ingo/dev/fpc/lib/fpc/etc/fpc.cfg
Hint: End of reading config file /home/ingo/dev/fpc/lib/fpc/etc/fpc.cfg
Free Pascal Compiler version 2.5.1 [2010/11/04] for x86_64
Copyright (c) 1993-2010 by Florian Klaempfl
Target OS: Linux for x86-64
Compiling project1.lpr
Compiling unit1.pas
unit1.pas(48,14) Error: Incompatible type for arg no. 1: Got "PTestTypArray", expected "PTestTyp"
unit1.pas(36,18) Hint: Found declaration: TForm1.Test(PTestTyp);
unit1.pas(60) Fatal: There were 1 errors compiling module, stopping

[Euklid]

Du übergibst im Endeffekt einfach nur einen Pointer, für den Funktionsaufruf ist das auch in diesem Fall wirklich nichts weiter als ein untypisierter Pointer.

Technisch ja - dennoch sind es völlig verschiedene Typen und ich fände es unschön, wenn der FPC dies nicht erkennen würde.
Glücklicherweise scheinen neuere Versionen des fpc die Typenprüfung korrekt durchzuführen.

Danke Euch für Eure Tests und Eure Gedanken!

- Euklid