Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!qantel!lll-lcc!lll-crg!seismo!mcvax!boring!guido From: guido@boring.uucp (Guido van Rossum) Newsgroups: net.lang.c Subject: Re: C Builtin Funxions Message-ID: <6889@boring.UUCP> Date: Thu, 24-Apr-86 21:04:57 EDT Article-I.D.: boring.6889 Posted: Thu Apr 24 21:04:57 1986 Date-Received: Fri, 2-May-86 23:22:13 EDT References: <2524@brl-smoke.ARPA> <2554@utcsri.UUCP> <3186@ukma.UUCP> Reply-To: guido@mcvax.UUCP (Guido van Rossum) Organization: "Stamp Out BASIC" Committee, CWI, Amsterdam Lines: 26 Apparently-To: rnews@mcvax In article <3186@ukma.UUCP> david@ukma.UUCP (David Herron, NPR Lover) writes: >>[plea for lint to check printf formats] >Ok, there *is* a way to do this. One of the europeans (that guy that >had been doing Hack) posted a tool for aiding lint last year sometime. >[rough explanation of the idea] This code is still available; I can mail it to interested parties. The author is called Andries Brouwer (and currently not at our institute but in Denmark). I've also heard that system 5 lint has this built-in; there's even a directive /*PRINTFLIKE*/ so you can define your own. >>... The following is a borderline case: >> printf( c<' '|| c>'\176'? "\\%3o":"%c", c); >I dunno what it would do with this case... It gives up here. There is a limit to what you can check. >One thing that occurs to me... do char's always get casted to ints >when they're arguments to functions????? Yes, definitely. And so do shorts. This is supposed to be standard knowledge amongst posters to this group! (At least posters that answer questions.) -- Guido van Rossum, CWI, Amsterdam