On Wed, 06 Jun 2012 23:34:20 +0200, Jan Kratochvil wrote:
> Used:
> rm -rf splint/;mkdir -p splint/bits;touch splint/bits/confname.h;for i in `cat files`;do mkdir -p splint/`dirname $i`;splint +posixlib +gnuextensions -Isplint -exportlocal -DTUI -I. -Icommon -I../include -I../bfd -I../libdecnumber -I../opcodes -I.. -I/usr/include/python2.7 $i &>splint/$i.out;done
> find splint-bitpos/ -type f|sort|xargs cat|perl -lpe 's/^\s*(\S*?\.[ch]:\d+:\d+):/LOC $1\n/' >splint-bitpos.out

> diff -I"^LOC " splint-clean.out splint-bitpos.out|vim -
[...]
> It has 26000 lines this way, I will try to reduce the diff size somehow.

Wrote the attached script and the "diff" has now "just" 7375 lines.  This
seems to be reviewable.


Jan