]>
andersk Git - splint.git/log
evans1629 [Fri, 15 Mar 2002 22:56:22 +0000 (22:56 +0000)]
Fixed bug in usymtab clearing derived sRefs when exiting scope.
evans1629 [Wed, 13 Mar 2002 22:30:18 +0000 (22:30 +0000)]
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>
evans1629 [Tue, 12 Mar 2002 14:44:33 +0000 (14:44 +0000)]
Win32 problems
drl7x [Tue, 12 Mar 2002 03:47:39 +0000 (03:47 +0000)]
Fixed error in Makefile.am (/* */ was used for comment instead of #
evans1629 [Mon, 11 Mar 2002 00:13:53 +0000 (00:13 +0000)]
Temporarily set flags to splintme without warnings.
evans1629 [Sat, 2 Mar 2002 23:31:43 +0000 (23:31 +0000)]
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.
drl7x [Fri, 1 Mar 2002 07:48:48 +0000 (07:48 +0000)]
Modified the doc/Makefile.am so that the man page is install under make install.
\18 \18
drl7x [Wed, 27 Feb 2002 23:02:08 +0000 (23:02 +0000)]
*** empty log message ***
drl7x [Sat, 23 Feb 2002 04:47:07 +0000 (04:47 +0000)]
Fixed bug with improper handling of string concatenation in string literal related to the string initialization checking.
evans1629 [Tue, 19 Feb 2002 13:17:59 +0000 (13:17 +0000)]
Added grammar support for compound literals. (Reported by Peter Anttu.)
evans1629 [Tue, 19 Feb 2002 00:52:41 +0000 (00:52 +0000)]
Integrated Herbert Martin Dietze's changes for OS/2.
drl7x [Mon, 18 Feb 2002 19:41:03 +0000 (19:41 +0000)]
*** empty log message ***
herbert [Mon, 18 Feb 2002 10:45:47 +0000 (10:45 +0000)]
Updated documentation and Makefiles (LCLint -> splint),
configuration is now largely automatic (using Unix tools `sed',
`tr' etc.), removed obsolete files.
drl7x [Thu, 14 Feb 2002 03:34:20 +0000 (03:34 +0000)]
Fixed bug preventing the expression of a return statement from being checked for errors.
evans1629 [Wed, 13 Feb 2002 15:24:58 +0000 (15:24 +0000)]
Fixed warning message for shiftsigned flag. (Reported by Melson Beebe.)
drl7x [Tue, 12 Feb 2002 07:58:52 +0000 (07:58 +0000)]
Put instruction files from web site into CVS development directory.
drl7x [Mon, 11 Feb 2002 20:10:07 +0000 (20:10 +0000)]
Sym link install.html correctly to web site directory.
drl7x [Mon, 11 Feb 2002 20:04:18 +0000 (20:04 +0000)]
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.
evans1629 [Mon, 11 Feb 2002 03:14:40 +0000 (03:14 +0000)]
Added warnsysfiles flag to manual.
evans1629 [Sun, 10 Feb 2002 23:25:10 +0000 (23:25 +0000)]
Fixed bug with unrecognized files in #line commands.
evans1629 [Sun, 10 Feb 2002 23:20:48 +0000 (23:20 +0000)]
Extended grammar to support designators in initializers.
evans1629 [Sun, 10 Feb 2002 20:29:52 +0000 (20:29 +0000)]
Fixed but with parenthesized pointer declarations.
evans1629 [Thu, 7 Feb 2002 00:02:52 +0000 (00:02 +0000)]
Fixed bug with FIELDASSIGN
evans1629 [Wed, 6 Feb 2002 01:27:13 +0000 (01:27 +0000)]
Fixed internal errors for field assignments --- this is a temporary fix,
should probably report errors but I need to look into it.
evans1629 [Wed, 6 Feb 2002 00:08:27 +0000 (00:08 +0000)]
Fixed internal bug for if ((a[0][1]) != 0)
evans1629 [Wed, 6 Feb 2002 00:03:08 +0000 (00:03 +0000)]
Fixed internal bug for enum lists defined in structures without field names.
evans1629 [Tue, 5 Feb 2002 23:41:23 +0000 (23:41 +0000)]
Relaxed grammar to allow null external declarations.
evans1629 [Tue, 5 Feb 2002 23:13:13 +0000 (23:13 +0000)]
Added test case for division by zero.
evans1629 [Tue, 5 Feb 2002 23:02:04 +0000 (23:02 +0000)]
Forgot to commit multiVal.c
drl7x [Tue, 5 Feb 2002 06:02:27 +0000 (06:02 +0000)]
3.0.1.5 release.
drl7x [Tue, 5 Feb 2002 03:36:19 +0000 (03:36 +0000)]
Fixed automake related problems.
Added the flag boundscompacterrormessages to help output.
drl7x [Tue, 5 Feb 2002 02:36:57 +0000 (02:36 +0000)]
Fixed bug preventing +showconstraintlocation from being the default.
Update the test cases accordingly.
drl7x [Mon, 4 Feb 2002 09:19:34 +0000 (09:19 +0000)]
Fixed problem with handleing oldsytle function declarations.
(Problem reported by Thomas Nordin)
drl7x [Sun, 27 Jan 2002 02:45:50 +0000 (02:45 +0000)]
Added test case for pproblem with typedefs and fixed size arrays.
drl7x [Fri, 25 Jan 2002 05:57:19 +0000 (05:57 +0000)]
Added new flag.
drl7x [Fri, 25 Jan 2002 05:55:19 +0000 (05:55 +0000)]
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];
drl7x [Tue, 22 Jan 2002 22:28:04 +0000 (22:28 +0000)]
Fixed bug in string initialization checking.
add stringliteralnoroomfinalnull.
drl7x [Tue, 22 Jan 2002 22:21:40 +0000 (22:21 +0000)]
Added test cases for stringliteral initalization checking
drl7x [Sat, 19 Jan 2002 01:28:33 +0000 (01:28 +0000)]
Hopefully fixed configuration program caused by running an old version of automake.
drl7x [Fri, 18 Jan 2002 23:41:57 +0000 (23:41 +0000)]
*** empty log message ***
drl7x [Fri, 18 Jan 2002 21:57:57 +0000 (21:57 +0000)]
*** empty log message ***
drl7x [Fri, 18 Jan 2002 21:38:34 +0000 (21:38 +0000)]
System file warning message now not printed if -systemdirerrors is used.
drl7x [Fri, 18 Jan 2002 21:27:38 +0000 (21:27 +0000)]
Added the flag warnsysfiles (default +) if this flag is set splint warns if the user tries to run splint on a system file.
drl7x [Fri, 18 Jan 2002 04:36:32 +0000 (04:36 +0000)]
Hopefully finially added bin/Makefile.am and bin/Makefile.in
drl7x [Fri, 18 Jan 2002 04:05:07 +0000 (04:05 +0000)]
Trying to add dummyfile to be bin to stay in the repository.\18
drl7x [Fri, 18 Jan 2002 03:56:25 +0000 (03:56 +0000)]
Trying to get Makefile in the repository.
drl7x [Thu, 17 Jan 2002 20:27:52 +0000 (20:27 +0000)]
Finished adding flags to the manual.
drl7x [Thu, 17 Jan 2002 11:48:39 +0000 (11:48 +0000)]
Added some additonal flag descriptions to the manual.
drl7x [Thu, 17 Jan 2002 06:57:52 +0000 (06:57 +0000)]
Fixed buffer overflow in cscanner.l
evans1629 [Thu, 17 Jan 2002 04:43:41 +0000 (04:43 +0000)]
Fixed handling of array dimensions (bug reported by Randi J. Relander)
Added arraydims.c test case
drl7x [Tue, 15 Jan 2002 04:47:38 +0000 (04:47 +0000)]
Replacing the directory preBuilt with bin
drl7x [Mon, 14 Jan 2002 20:01:41 +0000 (20:01 +0000)]
Makefiles for preBuilt this directory is intended to be part of the binary distribution. It contains an allready built source by and the makefiles.
drl7x [Mon, 14 Jan 2002 19:59:42 +0000 (19:59 +0000)]
Added files so that mkae bindist will work on system wihtout up to date(bleeding edge?) versions of autoconf and automake.
drl7x [Mon, 14 Jan 2002 19:56:39 +0000 (19:56 +0000)]
Added files to generate a binary package by doing make bindist
drl7x [Mon, 14 Jan 2002 08:36:41 +0000 (08:36 +0000)]
Got gmake to work on test suit. (Changed the cleanout grep so that it searches for gmake in addition to make.)
used grep -v to exclude hard coded default LARCH and LCLIMPORTDIR values form test output.
evans1629 [Thu, 10 Jan 2002 19:05:02 +0000 (19:05 +0000)]
Added install.html to CVS.
evans1629 [Thu, 10 Jan 2002 19:04:42 +0000 (19:04 +0000)]
Fixed problem with identifyFlag revealed by splint -help flags full
(reported by Jim Zelenka)
Added tests to help test to check -help flags full and -help flags
manual.
drl7x [Thu, 10 Jan 2002 06:24:44 +0000 (06:24 +0000)]
Patched bug in splint --help flags full
drl7x [Thu, 10 Jan 2002 05:14:54 +0000 (05:14 +0000)]
Put builtin -D flags for specific arcitectures.
drl7x [Thu, 10 Jan 2002 02:33:17 +0000 (02:33 +0000)]
*** empty log message ***
drl7x [Thu, 10 Jan 2002 02:01:05 +0000 (02:01 +0000)]
splint now tried to define a symbol based on the current processor type.
It use target_cpu from autoconf.
evans1629 [Wed, 9 Jan 2002 15:50:54 +0000 (15:50 +0000)]
Reviewed DRL's manual changes. Moved bounds flags to appropriate place.
evans1629 [Wed, 9 Jan 2002 14:43:14 +0000 (14:43 +0000)]
still trying to add doc files
drl7x [Wed, 9 Jan 2002 11:43:57 +0000 (11:43 +0000)]
Added some flags to the manual.
drl7x [Wed, 9 Jan 2002 11:15:44 +0000 (11:15 +0000)]
*** empty log message ***
drl7x [Wed, 9 Jan 2002 06:34:04 +0000 (06:34 +0000)]
Added doc/Makefile.am to get make dist to work.
evans1629 [Wed, 9 Jan 2002 04:13:54 +0000 (04:13 +0000)]
Moved doc/lclint.1 to doc/splint.1
Changed email addess in source comments
evans1629 [Wed, 9 Jan 2002 02:08:49 +0000 (02:08 +0000)]
Removed /bin/csh from tainted/Makefile
evans1629 [Tue, 8 Jan 2002 21:45:08 +0000 (21:45 +0000)]
Added win32/ files to CVS
drl7x [Tue, 8 Jan 2002 20:59:01 +0000 (20:59 +0000)]
Added annotation to fix lint warning.
evans1629 [Tue, 8 Jan 2002 19:57:04 +0000 (19:57 +0000)]
Added winconfig.h
evans1629 [Tue, 8 Jan 2002 19:55:58 +0000 (19:55 +0000)]
Fixed up for win32 building (winconfig.h required)
drl7x [Tue, 8 Jan 2002 06:12:40 +0000 (06:12 +0000)]
Fixed the readme file based on the information on the web page.
evans1629 [Mon, 7 Jan 2002 18:40:35 +0000 (18:40 +0000)]
Removed stray hashTable.c file
drl7x [Mon, 7 Jan 2002 09:11:23 +0000 (09:11 +0000)]
*** empty log message ***
evans1629 [Mon, 7 Jan 2002 05:21:44 +0000 (05:21 +0000)]
Updated manual, suppressed warning in constraintResolve.c
drl7x [Mon, 7 Jan 2002 03:37:25 +0000 (03:37 +0000)]
*** empty log message ***
drl7x [Mon, 7 Jan 2002 03:30:45 +0000 (03:30 +0000)]
Adding redundantconstraints flags. Set constraintor and showconstraintlocation flags to true.
drl7x [Mon, 7 Jan 2002 02:36:40 +0000 (02:36 +0000)]
Fixed problems in library headers.
Remove splint generated files.
evans1629 [Mon, 7 Jan 2002 02:26:50 +0000 (02:26 +0000)]
Put manual in CVS
evans1629 [Sun, 6 Jan 2002 19:37:48 +0000 (19:37 +0000)]
Renamed lclintMacros.nf splintMacros.nf
Replaced remaining "lclint" names with "splint"
evans1629 [Sun, 6 Jan 2002 08:14:14 +0000 (08:14 +0000)]
Cleaned up flags to generate manual help.
Renamed arraybounds and arrayboundsread to boundswrite and boundsread
Replaced +control flag with duplicatecases, alwaysexits, emptyreturn and
macroreturn (all plain, default +)
Split
evans1629 [Sun, 6 Jan 2002 00:48:32 +0000 (00:48 +0000)]
Manual flags.
drl7x [Sat, 5 Jan 2002 22:56:31 +0000 (22:56 +0000)]
Added test cases from the buffer checking chapter of the manual.
evans1629 [Sat, 5 Jan 2002 22:35:14 +0000 (22:35 +0000)]
Generating flag manual; separated ARG_STRING into filename, path,
directory ARG_ types.
evans1629 [Sat, 5 Jan 2002 05:36:09 +0000 (05:36 +0000)]
unrecognizeddirective->unrecogdirective
evans1629 [Sat, 5 Jan 2002 05:27:04 +0000 (05:27 +0000)]
Remade libraries.
evans1629 [Sat, 5 Jan 2002 04:16:14 +0000 (04:16 +0000)]
Renamed truenull nullwhentrue and falsenull falsewhennull
evans1629 [Fri, 4 Jan 2002 07:47:45 +0000 (07:47 +0000)]
Added manual files
evans1629 [Fri, 4 Jan 2002 07:46:33 +0000 (07:46 +0000)]
Added manual test cases.
Updated to ISO C99 limits (option to still select ANSI 89).
evans1629 [Thu, 3 Jan 2002 19:45:44 +0000 (19:45 +0000)]
Changed checking of complete descruction so +strictdestroy is no
necessary for struct fields.
evans1629 [Thu, 3 Jan 2002 00:32:18 +0000 (00:32 +0000)]
Fixed checking for shift expressions.
evans1629 [Wed, 2 Jan 2002 09:12:44 +0000 (09:12 +0000)]
Fixed state clauses. Added obvious loop exec checking.
evans1629 [Mon, 31 Dec 2001 19:40:18 +0000 (19:40 +0000)]
Fixed preds.expect for name change.
evans1629 [Mon, 31 Dec 2001 07:23:03 +0000 (07:23 +0000)]
Updated copyright date.
evans1629 [Mon, 31 Dec 2001 04:53:58 +0000 (04:53 +0000)]
Fixed bug in uentry_makeVarFunction reported by Alexander Mai.
evans1629 [Mon, 31 Dec 2001 04:46:18 +0000 (04:46 +0000)]
Changed grammer to allow multiple /*@fallthrough@*/ /*FALLTHRU*/ comments.
evans1629 [Mon, 31 Dec 2001 04:24:37 +0000 (04:24 +0000)]
Fixed handling of wide character strings (L"test").
evans1629 [Mon, 31 Dec 2001 03:47:48 +0000 (03:47 +0000)]
Removed more temorary files.
evans1629 [Mon, 31 Dec 2001 03:32:09 +0000 (03:32 +0000)]
Removed test/*.lcs test/*.lh from CVS
This page took 0.080138 seconds and 4 git commands to generate.