Re: [PATCH v3] Expand bitpos and type.length to LONGEST and ULONGEST

Jan Kratochvil
2012-06-12T09:56:04Z

On Mon, 11 Jun 2012 20:33:36 +0200, Siddhesh Poyarekar wrote:
> 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 -linelen 999 -hints -showcolumn
> \ -Isplint -exportlocal -DTUI -I. \
> -Icommon -I../include -I../bfd -I../libdecnumber
> -I../opcodes \ -I.. -I/usr/include/python2.7 $i &>splint/$i.out
> done

BTW this line wrapping corrupted the script, it is not convenient to copy-past
it then.

> After running this script the changes to review have come to approx
> 2500 lines (also attached). Does this look OK? If it does, then I can do
> a step-by-step review of these changes and post them.

Yes, I agree with everything you did.

Just I have now found splint crashes on some files so the results are
incomplete and some regressions may have been missed. I have filed
https://bugzilla.redhat.com/show_bug.cgi?id=831141

But apparently maybe just removing some assertion would be enough for this GDB
purpose.

Thanks,
Jan