Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!mit-eddie!wuarchive!cs.utexas.edu!execu!sequoia!uudell!bigtex!texsun!exodus!exodus-bb!khb From: khb@chiba.Eng.Sun.COM (Keith Bierman fpgroup) Newsgroups: comp.lang.fortran Subject: Re: Duplicate names in formal parameter lists Message-ID: Date: 22 Oct 90 18:54:11 GMT References: <11084@hubcap.clemson.edu> <2385@cod.NOSC.MIL> Sender: news@exodus.Eng.Sun.COM Distribution: usa Organization: Sun MegaSystems Lines: 64 In-reply-to: burkley@cod.NOSC.MIL's message of 22 Oct 90 18:17:57 GMT In article <2385@cod.NOSC.MIL> burkley@cod.NOSC.MIL (V. J. Burkley) writes: In article <11084@hubcap.clemson.edu> mjs@hubcap.clemson.edu (m j saltzman) writes: ... What happend? An intermittent error that was harder than hell to find. I don't know why compilers don't check for it, it ... The primary function of compilers is to generate executable code. There are tools which do full static checking of programs (across subroutine boundries), SOME such tools are: Fortran-lint: IPT 1096 East Meadow Circle, Palo Alto, CA 94303 415-494-7500. I've used it. Quite good. FORWARN Quibus Enterprises: Seems similar, from a promo blurb reading. Probably has slightly uglier reporting (one assumes the promo is as good as it gets). 217 356 8876. Primary focus is the PC market, but say unix versions are available. $1200 would appear to be the price, no discount structure info available. Flint(tm) Programming Research ltd: Seems like a much more powerful tool (from the promo lit) includes complexity metrics, X11 interface and all sorts of advisories about what constitutes good portable code (beyond standard(s) conformance). FAX 01 336 1151 voice 01-942-9242 FORCHECK Leiden University Box 9604 2300 RC Leiden The Netherlands 31-71-276804 Claims similar to IPT's product. Is said to be available on Suns and many other platforms. I have no personal experience with it. FLOPPY/FLOW From CERN. FLOPPY was posted to comp.sources.misc. Sun employees can get it via the usual internal anon ftp site. FLOW was not posted (and is the 'good part'). Note that call foo(x,x) is legal (conformant with ANSI X3.9-1978) or not, depending on code inside of subroutine foo. In order to allow standard conforming codes, one mustn't disallow the call without examining the callee. -- ---------------------------------------------------------------- Keith H. Bierman kbierman@Eng.Sun.COM | khb@chiba.Eng.Sun.COM SMI 2550 Garcia 12-33 | (415 336 2648) Mountain View, CA 94043