(Arjen Markus) (12 august) In my Flibs project I have included a small set of programs that test certain properties of a compiler and run-time properties of a program created with that compiler.
The motivation for this is:
The Fortran standard allows the compiler writer some leeway in implementing the various language items. One such thing is the unit in which the record length of direct-access files is expressed. But there are several more.
A compiler may or may not detect and warn about deficiencies in the program. For instance, a function that does not always set the value. The reason compilers do not by default detect everything that can be detected by static analysis is efficiency: such checks increase the time required by the compiler.
You can find the source code in the repository of the Flibs project on SourceForge.
Created on August 12, 2009 02:57:17
by Arjen Markus
(923 characters / 0.0 pages)