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.

Fixed internal bug that occured when dumping bounds-check annotations involving structure fields.

Added pointers.c and pointers.h to CVS.

Fixed emptyret flag problem.  ("emptyreturn" -> "emptyret" in flags.def)

- library fixes:

<b>getgrgid, getgrnam, getpwnam</b>
<blockquote>
These functions from grp.h in the Posix and Unix libraries should be
declared to return /*@observer@*/ references.  Reported by Enrico
Scholz.  Fixed in CVS (2002-07-08), will be in 3.0.1.7.
</blockquote>

<b>sys/resource.h</b>
<blockquote>
The sys/resource.h segment of the Unix library was not updated to
SUSv3.  The type of rlim_t, struct rlimit and struct rusage have been
updated.  Reported by Enrico Scholz.  Fixed in CVS (2002-07-08), will be
in 3.0.1.7.
</blockquote>

<b>Standard library missing snprintf</b>
<blockquote>
snprintf is in the unix library, but not the standard library.  It was
added to ISO C99, so should be in the standard library.  Reported by
Olivier L'Heureux.  Fixed in CVS (2002-07-08), will be in 3.0.1.7.
</blockquote>

- parsing support for restrict pointers

- showloadloc to control printing line number for load files

Update test results.

Added chararrylit test case.

Fixed pre-processing bug reported by Adam Clarke.  Moved marking point
in cpplib.c.

Fixed annotations on struct iovec and struct msghdr in unix.h

Apparently splint does not correctly handle the case in which a #defined constant is used in the function constraint unless it's been specified with the constant annotation.

Modified splint to halt and print a message suggesting that the constant annotation be used.

Fixed unix.h so splint could parse it so that splint could build the library.

Added back previosuly removed file lslinit.c to get splint to compile.

Committed to enable merge.

Added splint.spec file contributed by Heiko Abraham

Fixed manual typo.
Split streams for warnings and status messages.

test/Makefile.os2: merged in changes from 3.0.1.6 to 3.0.1.7

stringliteral fixed

os2/makeos2.cmd: also make in ../lib with `-o' option.
src/Makefile.os2: small bugfix.
src/fileTable.c: added #include and macros for S_IRUSR and friends
                 (OS/2 and IBMC only).
test/Makefile-test.os2: obsolete, replaced by test/Makefile.os2.

*** empty log message ***

Meaningless file added to see if committs also affect the splint repository.

Fixed problem with comman line redefinitions (no filename).

Hacking Makefile to print a warning when test suite to run under /usr

Testing update message.

Fixed creation of temp files.

Fixed anytype resolution.

Removed unexport's from makefile.  They don't seem to work everywhere.

Added llgrammar_gen2.h

Added signature_gen.h

Added llgrammar_gen.h

Added cgrammar_tokens.h

Added htmlfileformat flag.

Fixed internal error for stray type names in structure field declarations.

Fixed problem with unnamed unions within struct definitions.

Fixed problem with print format for +showalluses.

Fixed problem with resetting null state after error for constants.
Added anytype constant to support /*@alt anytype@*/ properly.

Fixed problem with loop guards in loop test effects.  New test case
looptesteffect.  (Reported by Anders Pilegaard)

Fixed bug in usymtab clearing derived sRefs when exiting scope.

o Make lltok an abstract type, a pointer to structure instead of a plain
  struct.  There are still some memory leaks in the parser --- all
  tokens should be deallocated.

o Added messagestream, warningstream and errorstream control flags so
  each type of message can be directed to a different stream:
     messagestreamstdout
     messagestreamstderr
     messagestream <file>

Win32 problems

Fixed error in Makefile.am (/* */ was used for comment instead of #

Temporarily set flags to splintme without warnings.

Fixed line numbering when multi-line macro parameters are used.

Changed handling of comments, location is now start of comment.  [some
problems with this still in processing macros]

Fixed most of the problems detected by null checking, except in
constraint code.

Modified the doc/Makefile.am so that the man page is install under make install.
\18\18

*** empty log message ***

Fixed bug with improper handling of string concatenation in string literal related to the string initialization checking.

Added grammar support for compound literals.  (Reported by Peter Anttu.)

Integrated Herbert Martin Dietze's changes for OS/2.

*** empty log message ***

Updated documentation and Makefiles (LCLint -> splint),
configuration is now largely automatic (using Unix tools `sed',
`tr' etc.), removed obsolete files.

Fixed bug preventing the expression of a return statement from being checked for errors.

Fixed warning message for shiftsigned flag.  (Reported by Melson Beebe.)

Put instruction files from web site into CVS development directory.

Sym link install.html correctly to web site directory.

Put .c and .expect files for new test cases into the extra dist in test/Makefile.am so they'll get included in the distributions.
Include index.html in release tar balls.

Added warnsysfiles flag to manual.

Fixed bug with unrecognized files in #line commands.

Extended grammar to support designators in initializers.

Fixed but with parenthesized pointer declarations.

Fixed bug with FIELDASSIGN

Fixed internal errors for field assignments --- this is a temporary fix,
should probably report errors but I need to look into it.

Fixed internal bug for if ((a[0][1]) != 0)

Fixed internal bug for enum lists defined in structures without field names.

Relaxed grammar to allow null external declarations.

Added test case for division by zero.

Forgot to commit multiVal.c

3.0.1.5 release.

Fixed automake related problems.
Added the flag boundscompacterrormessages to help output.

Fixed bug preventing +showconstraintlocation from being the default.
Update the test cases accordingly.

Fixed problem with handleing oldsytle function declarations.
(Problem reported by Thomas Nordin)

Added test case for pproblem with typedefs and fixed size arrays.

Added new flag.

Fixed bug reproted by Jim Francis.  Bug was triggered by running splint on typedef which include an array size. e.g. typedef int Array[10];

Fixed bug in string initialization checking.
add stringliteralnoroomfinalnull.

Added test cases for stringliteral initalization checking

Hopefully fixed configuration program caused by running an old version of automake.

*** empty log message ***

*** empty log message ***

System file warning message now not printed if -systemdirerrors is used.

Added the flag warnsysfiles (default +) if this flag is set splint warns if the user tries to run splint on a system file.

Hopefully finially added bin/Makefile.am and bin/Makefile.in

Trying to add dummyfile to be bin to stay in the repository.\18

Trying to get Makefile in the repository.