With: splint test98.c 1>test98.lnt 2>test92.ln2
where test98.c is an empty file,
.splintrc has:
+show-scan
+which-lib
+sys-dirs /usr/lib/gcc/i386-redhat-linux/4.3.2/include:/usr/include
# +ansi-lib # this or next
+strict-lib
+iso99-limits
+D__CHAR_BIT__=8
+D__CHAR_BIT__
# +gnuextensions
NOTE: that __CHAR_BIT__ is defined twice (I was experimenting).
I also cannot find anything in the splint documentation on
how to do those macro definitions. I gather the blanks are
NOT liked.
test98.lnt has:
Command Line: Macro __CHAR_BIT__ already defined
Command Line: Previous definition of __CHAR_BIT__
test98.ln2 has:
Splint 3.1.2 --- 05 Sep 2008
Standard library: /usr/share/splint/lib/standardstrict.lcd
< loading standard library /usr/share/splint/lib/standardstrict.lcd .... >
context.c:196: at source point
Command Line: *** Internal Bug at context.c:196: llassert failed:
gc.preprocessing [errno: 2]
*** Please report bug to splint-...@splint.org ***
(attempting to continue, results may be incorrect)
< more preprocessing .llerror.c:128: at source point: protected fatal llassert
failed: !s_needsPrepare
---
Fred J. Tydeman Tydeman Consulting
tyde...@tybor.com Testing, numerics, programming
+1 (775) 358-9748 Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
