This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]