Prewinter break editing commit.
Code is mostly good.
Annoying bug with constraintExpr still needs to be fixed.

Handles ftpd.c in wu-ftp without crashing.
Gives lots of spurious messages though.

copy lib from lcclint-2.5q version.

Passes the standard LCLint test suite.  YAAAAAAYYYY!!!!!
YAAAAAAAAAAYYYYYYYYYYYYYYYYY!!!!!!!!!!!!!!!!

We're now able to generate Maxset constraints for fixed sized arrays.
e.g. int x[3]; produces maxset(x) >= 2;

If checking mostly works.  Boolean expression are handled.
Need to add > or < support.  Committing to have a good back up.

Fixed stupid bug in constraintGeneration.c
Should've done it before last version
Also modified cgrammar.y to attempt (so far unsuccesfully) to get function level anotations working.

pre addition of functino level annotations.
if almost works

Converted to new API for constraintExpr
g++; g++; is now handled correctly.

It mostly works but it has a convolted API that needs fixxing.

*** empty log message ***

Saving version preented on 092200

Most of the constraint resolving works.
can do g[0] = '2'; g++; g[0] = 'g';  I think...

Periodic commit

*** empty log message ***

Put files created for constraint handling in the repository.

Took 2 temp files out of the repository.

Fixed stupid bug in constraintList causing a segfault.
Added files for new tests to the repository.

Finshed basic merge.  Still trying to get it through the test suit.

Added the code for setBufferSize and setStringLegnth annotations.
Committing to prepare fro second merge with Evans's code.

Added in test case files.  (Merge should be complete now.)

Put Nullterminated Tests in the repository.

Commiting Merge of changes made in semester and ver 2.5M

Initial revision