noexpand always false.

Fix debug

Convert some llassert() to llassertfatal(), as we should not continue with null pointers.

Remove unused cpplib_createDefinition.

Add more cvsignore files.

Update configure and makefile to aclocal/automake 1.10.1 and autoconf 2.61.

Add .cvsignore files.

Update test files to automake 1.10.1

Changed makefile to include line information in generated yacc/bison code (as I had already commited the 'der' variants.

Add an ignore file for generated files.

Fix tracker issue 1837229.
Synopsis: return +1;

The XPR_PREOP case treats plus/minus the same now.  I don't grok how unary
values are being handled in splint, but at least +/- are the same.

Fix bit rot of DPRINTF calls.

Fix DPRINTF bit rot.

Allow compile on apple platforms. osd.c
Use pid_t instead of __pid_t as per open group.

Removed if statement with constant results

Fixed the OS/2 specific files for the latest release.

*** empty log message ***

Updated expected output for help.expect to include new flags.

Fixed declarations of inptr_t and uintptr_t.

Fixed problem with NULL being changed.

Fixed -help <mode> bug.

Added va_copy to standard.h.

Fixed problem with assertion checking for negative shifts in
preprocessor expressions.  (Should add a warning for these).

Some problems with make splintme not yet resolved.

Added support for omitted if clauses in conditionals, patch provided by peteran.

Fixed off by one bug involving arrays initialized with a block of values.

For example.  int tmp[] = {0,0, 3, 3, 4};

Bug was reported by Kevin Abrams

Committing to update configuration scripts.

Fixed syntax error in file.

Added realrelatecompare flag.

Fixed localtime/gmtime null anntation.

*** empty log message ***

Fixed internal bug reporting for redefinition of __func__

Fixed line counting for #pragma's.

Fixed Win32 files closed bug.

Fixed processing of multi-dimensional arrays.

Removed obsolete OS/2 test makefiles.
Added snprintf.c for pre-C99 compilers, updated OS/2 specific
  test Makefiles for where necessary (which is not in all test
  subdirs).
Changed a number of `#ifdef WIN32' directives to `#if defined
  (WIN32) || defined (OS)', changed the default system dir for
  OS/2 from `/usr/' to `/os2/'.

Fixed \ line parsing.

Fixed manual csvoverwrite.
Fixed && and || for non-predicate guards.

Fixed scanf %x problem.

Fixed problem with shadow parameters.

Fixed problem with global struct assignments.

Added missing signal.h information to posix.h

Made allocations involving sizeof work correctly (test/malloc.c).
Fixed implicit constraints for functions.

Changes to fix malloc size problem.
Changed strict mode to set bounds checking.  This reveals some other
problems in the test suite which have not yet been addressed.

Fixed problem with russian characters.

Committing before tagging release.

Updated index in manual.

Renamings to avoid conflicts with type names.

Added instruction for the Mac OSX build.

Got rid of outdated mailing list information.

Made some quick updates to the html version of the manual.

Changed the version from 3.1.1 to 3.1.0

Updated the the documentation to reflect this.  Also applied patches to configure.ac submitted by Ralf Wilderhues.

Updated the .binary version for consistency.

\a

Added the manual pdf to CVS.

Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was already being used.

(Bug for reported by John Regehr )

Updated the manual.

All flags supported by Splint are now listed.  Also I fixed the section on numabstact types.

Updated html and word versions of the manual

Answered some of these questions in more detail.

Fixed overly agressive assertions (from checking splint *.c in test/)

Fixes after removing -unrecogcomments flag for make splintme.

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.