At Sat, 5 Apr 2025 18:47:07 +0200, Roland Illig <roland.illig%gmx.de@localhost> wrote:
Subject: Re: lint libraries? (regarding common/lib/libc/hash/murmurhash/murmurhash.c(56): warning: constant in conditional context [161])
>
> I wonder how much longer the daily builds would take with MKLINT=yes.
Indeed I guess that's something one would have to know before blindly
turning it on.
> Right now, the lint builds are done on 4 platforms, about once every 5
> days, and Christos and me are looking regularly into the build results
> to fix any fallout.
That's good to hear! Thanks!
> > Unix lint was basically hobbled to the point of being nearly useless for
> > systems programming work without the system lint libraries being
> > available (but then I think they were always supplied in my experience,
> > and only deleted by non-programmer admins wanting to free up disk space
> > that was so precious in the ancient days).
>
> Was that in the pre-C90 days? Since then, functions have their
> prototypes declared, which produces helpful compilation errors.
Indeed, and now having prototypes, and turning the warnings about
missing prototypes into errors, does a big part of the job that people
once relied on lint to do.
I haven't played enough with xlint in a post C89 world yet to know if it
will also still catch all the same things (including missing prototypes,
and mis-matches between prototypes and definitions).
> > typeof ()
> > {
> > ...
> > egrep -i "$1" $LLIBDIR/llib-l*
> > }
>
> What about:
>
> man "$1"
The whole point of my "typeof" was to avoid having to look at a manual
page! :-)
Once upon a time manual pages for some libraries were also a little less
than perfect about giving full declarations for all functions.
Of course if I remember right the original lint input libraries were
often manually maintained and sometimes out of date. They were there
because of course the average Unix customer didn't have full library
source....
> grep "^$1" $(make -v .ALLTARGETS)
My "typeof" was more for finding declarations of things in /usr/lib/lib*.a
> grep "[0-9]$1" /usr/libdata/lint/llib-*
With xlint that doesn't show me anything of much use, at least not in
any human readable form.
I'm not saying though that xlint should provide those old style lint
library sources.
These days I would ideally want a tool that could parse enough CPP and C
to trawl through the headers and find a matching prototype declaration.
That's basically what Cscope does, but unfortunately you can't get it to
parse just header files and find declarations (i.e. prototypes) -- it
insists on finding definitions so you have to parse all the library
sources, and of course it doesn't have a quick-and-dirty way to just
write out just the matching declaration(s).
What typeof showed me was like this:
$ grep open /archives/Unix-SysVr2-vax/root/usr/lib/llib-l*[!n]
/archives/Unix-SysVr2-vax/root/usr/lib/llib-lc:int open(f, o, m) char *f; { return (o); }
/archives/Unix-SysVr2-vax/root/usr/lib/llib-lc:FILE * fopen(f, t) char *f, *t; { return (stdin); }
/archives/Unix-SysVr2-vax/root/usr/lib/llib-lc:FILE * freopen(f, t, s) char *f, *t; FILE *s; { return (s); }
/archives/Unix-SysVr2-vax/root/usr/lib/llib-lc:FILE * fdopen(f, t) char *t; { return (stdin); }
/archives/Unix-SysVr2-vax/root/usr/lib/llib-lc:FILE * popen(c, t) char *c, *t; { return (stdin); }
or:
$ grep open /archives/2.10bsd/root/usr/lib/lint/llib-l*[!n]
/archives/2.10bsd/root/usr/lib/lint/llib-lc:int open(f, m, stuff) char *f; { return(0); }
/archives/2.10bsd/root/usr/lib/lint/llib-lc:DBM * dbm_open(file, flags, mode) char *file; { return (DBM *) 0; }
/archives/2.10bsd/root/usr/lib/lint/llib-lc:DIR * opendir( f ) char *f; { return (DIR *)NULL; }
/archives/2.10bsd/root/usr/lib/lint/llib-lc: openlog(s, f, l) char *s; {}
/archives/2.10bsd/root/usr/lib/lint/llib-lc: sethostent(stayopen) { ; }
/archives/2.10bsd/root/usr/lib/lint/llib-lc: setnetent(stayopen) { ; }
/archives/2.10bsd/root/usr/lib/lint/llib-lc: setprotoent(stayopen) { ; }
/archives/2.10bsd/root/usr/lib/lint/llib-lc: setservent(stayopen) { ; }
/archives/2.10bsd/root/usr/lib/lint/llib-lc:FILE * fdopen(fd, m) char *m; { return(stdin);}
/archives/2.10bsd/root/usr/lib/lint/llib-lc:FILE * fopen(s,m) char *s, *m; { return(stdin); }
/archives/2.10bsd/root/usr/lib/lint/llib-lc:FILE * freopen(s, m, f) char *s, *m; FILE *f; { return(stdin); }
/archives/2.10bsd/root/usr/lib/lint/llib-lc:FILE * popen( c, t ) char *c, *t; { return(stdin); }
/archives/2.10bsd/root/usr/lib/lint/llib-lplot: openpl() { ; }
(I had forgot there is also the binary llib-l*.ln file for each library
with PCC lint that one might want to avoid grep-ing....)
--
Greg A. Woods <gwoods%acm.org@localhost>
Kelowna, BC +1 250 762-7675 RoboHack <woods%robohack.ca@localhost>
Planix, Inc. <woods%planix.com@localhost> Avoncote Farms <woods%avoncote.ca@localhost>
Attachment:
pgp5LP6OVPCxq.pgp
Description: OpenPGP Digital Signature