[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20141218225258.GI5522@port70.net>
Date: Thu, 18 Dec 2014 23:52:58 +0100
From: Szabolcs Nagy <nsz@...t70.net>
To: musl@...ts.openwall.com
Subject: Re: posix-c99-c11 coverage
* Rich Felker <dalias@...c.org> [2014-12-18 16:44:48 -0500]:
> On Thu, Dec 18, 2014 at 09:30:42PM +0000, Philippe Lavoie wrote:
> >
> > Is there a script or test suite (libc-test?) to generate the tables?
>
> I think they're generated from the code in this repo:
>
> http://nsz.repo.hu/git/?p=musl-tables;a=tree
>
these are messy shell+awk scripts
(never intended for others to look at it)
basic idea:
- data dir has c99, c11 and posix2008 api list
(tab separated values, c api is from annex b of the iso pdf,
posix api is from the downloadable html)
- defined symbols in libc.a are listed with nm
- declared symbols in headers are listed with ctags
(this is not perfect, will parse all ifdef branches etc
and i try to check the prototypes too which is hard)
- musl syms are compared to the api lists
furthermore libc-test has an api test which does check
function prototypes properly for all posix functions
(but there is no nice report about it)
and i have some scripts to test posix namespace violations
using ctags data and the posix namespace rules which i
collected here:
http://port70.net/~nsz/c/posix/
hope this helps
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
