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.

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