Re: A lesson for compiler warning writers

hays@ssd.intel.com (Kirk Hays)
Thu, 18 Jun 1992 21:58:53 GMT

          From comp.compilers

Related articles
A lesson for compiler warning writers Garrett.Wollman@UVM.EDU (1992-06-10)
Re: A lesson for compiler warning writers mcdaniel@adi.com (1992-06-12)
Re: A lesson for compiler warning writers tmb@arolla.idiap.ch (1992-06-17)
Re: A lesson for compiler warning writers maniattb@cs.rpi.edu (1992-06-17)
Re: A lesson for compiler warning writers stephen@estragon.uchicago.edu (1992-06-18)
Re: A lesson for compiler warning writers arnold@cc.gatech.edu (1992-06-18)
Re: A lesson for compiler warning writers xjam@cork.CS.Berkeley.EDU (1992-06-18)
Re: A lesson for compiler warning writers hays@ssd.intel.com (1992-06-18)
Re: A lesson for compiler warning writers kendall@centerline.com (1992-06-19)
Re: A lesson for compiler warning writers wicklund@intellistor.com (1992-06-18)
Re: A lesson for compiler warning writers dds@doc.imperial.ac.uk (Diomidis Spinellis) (1992-06-19)
Re: A lesson for compiler warning writers hagerman@ece.cmu.edu (1992-06-19)
Re: A lesson for compiler warning writers igor!voltaire!davidm@uunet.UU.NET (1992-06-19)
Re: A lesson for compiler warning writers dww@inf.fu-berlin.de (1992-06-20)
[7 later articles]
| List of all articles for this month |

Newsgroups: comp.compilers
From: hays@ssd.intel.com (Kirk Hays)
Keywords: lint, design
Organization: Intel Supercomputer Systems Division
References: <19920609091040SEB1525@MVS.draper.com> 92-06-084
Date: Thu, 18 Jun 1992 21:58:53 GMT

arnold@cc.gatech.edu (Arnold Robbins) writes:


| No C compiler in the world will do cross file checking for you, only lint
| does it.


Blatently untrue - Saber C (admittedly, an interpreter) does this, and
I've seen demonstrations of cross-file checking in CASE environments on
UNIX.


> file a.c:
>
> double foo(long a) { return a * 2.0 ; }
>
> file b.c
>
> extern short foo(double a);


Intel's C-386 for OMF386, a product that's at least 4 years old, will
catch this at link time.


I'm sure other compilers/compilation systems that meet your challenge will
surface. Most UNIX compilers won't, of course, which may have been what
you meant.


--
Kirk Hays
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.