Doing the commit so that files can be taged.

Changed 3.0.1.7 to 3.1.0 in the installation instructions.

Fixed line numbering in faq.html

Commented out the  context_destroyMod (); destroy line
in llmain.c.

One of the functions called by this line causes a crash iff this is copmiled with gcc 2.95.  Since we're going to exit anyway I didn't see any reason from this line.

Beautified the html code for the faq.

Indexed faq.html

Got gmake dist to work
This required making sure that additional files were added to the tar ball.

Also I had to fix a bug in the test sutie for db3.

Fixes for win32

Updated FAQ to match the sytle of web pages on splint.org.

e.g. Adding tables with
info@splint.org
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks, etc.

Added the splint.org css sheet to the html version of the faq.

Removed LARCH_PATH unfound reference from help.expect

VS: ----------------------------------------------------------------------

Fixed inclusion problems with osd.h.

Making fixes for Microsoft Visual C++ compiler.
Moved portab.h into osd.h (and removed portab.h)
removed empty constraintOutput.c

Created html faq file to replace the faq.txt

Added support for ISO C99 _Bool and stdbool bool/true/false.  The
default boolname, truename and falsename were changed to be consistent
with ISO C99's bool.

Incorporated path for file inclusion in cpplib.c.
Updated version number.

Added linux builtin type in inet.h to unix library.
Changed default setting of warnunixlib and error message.

Fixed all /*@i...@*/ tags (except 1).

Testing CVS setup.  Changed src/Makefile.am to reflect correct number of
r/r conflicts.

Fixed /*@i@*/ warning in splintme

Fixed /*@i@*/ splintme errors.

Fixed /*@i@*/ warnings.

Surpressed spurious splintme error in osd.c

Cleaned up code in doMergeString

Fixed some /@*i@*/ comments in the code.

Also changed the version number to 3.0.1.8 to differentiate it from the version in redhat 9.

Fixed name checking errors.

Removed /*bee:...*/ comments.

These comments contained important about place where the splintme detected potential bounds errors within Splint.

They were removed because this information was not particularly useful and it made the code harder to read.

Committing Evans's update of man page to fix problems reported by ESR.

Pushed back constraintResolve.c to the previous version.

The previous appeared to contain only stylistic changes but it introduced bugs of the bounds checking code.

Committing after merging Evan's changes.

This code breaken but atleast it compile making it an improvement over the current version which doesn't compile after yesterday's committs.

*** empty log message ***

Fixed type error causing a seg fault.

Added web version of the realloc document.
(Created with save as html and then fixed up with Tidy.)

Created new html version of the manual by manually editing the html of the new html to reflect changes made to the word file in the last year.

Added html version of manual.  (This is the 7 Jan 2002 version.)

Made a few quick edits to the manual before creating the HTML page.

Updated libary version number.

Added the FAQ and a document on using realloc to CVS.
Edited Makefile.am so they would be included in the distribution tar ball

Fixed some splintme errors from the previous code change.

Fixed bug #697722  Assert error / global

I had to fish around a lot but Splint now handles thing cleanly if a global is used in a /*@requires isnull ..@*/ or similar clause.

Basically, we just ignore the variable as was the old behavior.  The bug was that llassert were failing.  I think things likely became broken after the code implementing the overloading of the requires keyword was added.

Modified tests to account for bool being defined in the standard library.

Added support for the _Bool type
This time I out it in standard.h.

I'm not sure why we have ansi.h and standard.h

In response to [ 689702 ] Missing C99 __func__ predefined identifier

 Added  the __func__ identifier from C99
  Not this won't follow the same semantics as
  __func__ in C99

  FWIW C99 says that __func__ should have the value of the
  lexically enclosing function
  e.g. in the function foo __func__ == "foo"
  in bar __func__ == "bar"

  We're just having the value be constant here and picking
  an arbitary value.

Fixed bug   672239 sizeof(array[0]) gives NULL derefence warning.

Note this required changing the grammar and ended up increasing the number of reduce/reduce conflicts.

fixed some /*@i---@*/ comments.
----------------------------------------------------------------------

Fixed previously ignored splintme errors in constraintResolve.c

Fixed previously ignored warnings in constraintGeneration.c

Fixed previously ignored splintme warnings in loopHeuristics.c

Fixed splintme errors in constraint.c that had previously been surpressed.

constraintExpr.c passes splintme without having to turn off warnings.

Fixed some splintme errors.

Updated copyrights

Updated the copyright on source code files.

Fixed data on readme.
Also fixed some problems in the scripts to create binary tar balls.

Added sizeoftest/Makefile to distribution tar ball.

Changed 3.0.1.6 to 3.0.1.7 for /doc

Changed "3.0.1.6" to "3.0.1.7"

Got rid of [look into this ] messages in null.expect and  outglob.expect

Updated the manual to reflect additions to the bounds checking code.

Code passes splintme with no errors.

Added missing header to get rid of splintme errors.

Added additional files to the distribution tar ball.

Fixed fatal bug involving bounds checking of expressions of the form sizeof(variable).

*** empty log message ***

Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

Correspond to error messages for constraints that have only constants.

Fixed sizeoftest test.

Fixed some bugs in src/Makefile.am

Added support for default buffer constraint annotations
and merged with previously committed code.

Improved tracking of state change locations.  Added +showdeephistory
flag to display all available information about state changes.  Added
+locindentspaces to control indentation of sub-messages (to allow emacs
error jumping).

Separated cscanner.l code into cscannerHelp.c to distinguish it from
flex-generated code.

ADded numabstract types.

Committing to make sure that the ./configure works.

Fixed parsing problem with multiple inclusions of alt typedefs.

<b>Multiple passes on type definitions with /*@alt@*/</b>
<blockquote>
Splint will produce a parse error if a type definition like,
<pre>
typedef long /*@alt int@*/ newtype;
</pre>
is processed twice (for example if it is in a header file included
multiple times).
<p>
Reorted by Simon Hosie, fixed in CVS (2002-12-12).
</blockquote>

Added code to support CSV output (-csv flag).

Added support for +longint and +shortint and associated test case.

Cleaned up code problems reported by make splintme.

Fixed configuration problem (hopefully).

Splint seems to need automake 1.6.3 if the Makefile.am are modified.

Added sizesigns.c and sizesigns.expect.  I can't actually make them now
because of the configure problems.

Readded configure

Remove empty configure file.  This should not be in CVS.

Turned off type checking for bison generated files because this was
generating over 2000 error messages!!!

Fixed fatal errors in constraint checking.

Added a special in cscanner.l so that maxSet and maxRead are handled correctly.

This file is updated.  And is no longer used to determine Splint's version number.
(I think we're using automake stuff now.)

Fixed assert failure involving multiple redefines of library functions.

i.e.

#define printf LIBPORT_UNDEF_printf
#undef  printf
#define printf red_printf

Bug was reported by Malcolm Parsons
\a

Fixed problem with make dist so that packages can be made and distributed.

Commented out the sizesigns test case because the files for it were not in CVS.

#if 0 the code in cscanner.l causing fatal bugs in the constraint checking.

Fixed but with multiple globals clauses reported by Gayath Ratnayaka.

Committing my cosmetic code changes and fix of the token problem in
function clauses.  There are some fatal bug errors with the constraint
checking but I think that was already there in the CVS.

Added test case for sizeof bug fix.

Fixed bug in handling of sizeof

Splint did not correctly handle code in which sizeof is applied to a string literal.
e.g. malloc (sizeof ("abcd") );

Bug was reported by Xiaolan Zhang

Added new sources and test targets.

*** empty log message ***

Commented out segfault in new code.

Fixed bug in Makefile.am.

Fixed bug in makefile causing unnecessary remaking of cgrammar.c.

Added support for implict buffer constraint.  This works mostly.

Fixed bug which would cause splint to crash if it was started with the -i flags and given an invalid argument.

This was confusing because -i is easily confuxed with -I.

Bug reported by Jesse Laird.

\a
Put back previously #if 0 'ed code.

I had to put this code back the case that needs it is when splint is given an absolute path name of a file outside of the current directory and the subdirectories below the current directory. e.g. cd /home/; splint /tmp/prog.c

NOTE: I added this code back previously in another branch.  I don't know if my changes were lost in CVS of if another developer removed them intentionally.

Fixed bug in bounds checking code reported by Xiaolan Zhang.

The problem was with the constraints that the predicate implies for each branch of an if-else not being generated correctly.

This causes spurrious errors in code with if-else statements.

Removed .lh .lcs .lcd files in test directory from distribution tar ball as suggested by Brian Foster.  Also set make clean to delete these files.

Committed my changes (but there are several splintme errors currently).

Changed library version constant.\a

Fixed bug cause spurious bounds errors.
Made +orconstraint the default
Also small bug fix in code reading in splint libraries

The bug was that
code like:
int a[12];
for (i = 0; i < 12; i++)
  a[i] = 0;

  would be marked as a potential bounds error.

Fixed internal error that occured if user tried to load a lcd file they created for a library with no buffer constraints.

The fix involves a slight change to the library format but the code is done so that splint will still be able to read existed lcd files.