Testing the compiler and run-time properties
(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.