Dear GPC programmers,
Here at NPL we have Pascal compiler testing software that generates self checking, legal Pascal source code for the purpose of testing Pascal compilers. We used this tool to test your compiler and generated the following bug.
Your compiler version:
egcs-2.91.66 1990314 (egcs-1.1.2 release)
The results of this test show that your compiler failed during compilation of the following program:
program test(output);
type T9 = false..true;
var failed : boolean; V0 :T9 ; V2 :T9 ;
procedure P2;
begin failed := false; V0 := true; V2 := true = V0; { test code } writeln("V2: ",V2); writeln("V0: ",V0); writeln("true: ",true); end;
begin P2;
if V2 <> 1 then begin writeln('Verification test failed on line 93'); failed := true; end; end. {Lines of code generated = 104}
The problem appears to be that the compiler interprets the type type "false..true" as being different from boolean. If this type is changed to boolean, then the program runs correctly.
The compiler options used to generate the test executable were:
--standard-pascal no optimisations
The test platform was an Intel PC.
If you have any queries or require further information concerning the tests performed or the tools used, please contact either myself at the contact points below, or the author of the test tool, Brian Wichmann at brian.wichmann@npl.co.uk
If you would like further information on the test tool, PPG (Pascal Program Generator), there is an NPL report "Experience with a Compiler Testing Tool" ISSN 0262-5369. NPL Report DITC 138/89, which is available in electronic format.
Regards, David Chandler
================================================================ David Chandler Email: david.chandler@npl.co.uk CISE SSS Tel: +44 0181 943 6962 National Physical Laboratory Mobile: +44 0789 973 4151 Teddington, Middlesex, UK. Fax: +44 0181 977 7091 WWW: http://www.npl.co.uk/