]>
andersk Git - splint.git/log
drl7x [Sat, 27 Jul 2002 05:12:23 +0000 (05:12 +0000)]
Added files for the splint.sf.net repository as part of the merge process.
drl7x [Sat, 27 Jul 2002 04:40:52 +0000 (04:40 +0000)]
Merged this branch with the one in the splint.sf.net repository.
drl7x [Tue, 23 Jul 2002 21:05:11 +0000 (21:05 +0000)]
Fixed internal bug that occured when dumping bounds-check annotations involving structure fields.
evans1629 [Thu, 11 Jul 2002 18:53:12 +0000 (18:53 +0000)]
Added pointers.c and pointers.h to CVS.
evans1629 [Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)]
Fixed emptyret flag problem. ("emptyreturn" -> "emptyret" in flags.def)
evans1629 [Mon, 8 Jul 2002 18:10:24 +0000 (18:10 +0000)]
- 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
evans1629 [Fri, 5 Jul 2002 17:39:43 +0000 (17:39 +0000)]
Update test results.
evans1629 [Fri, 5 Jul 2002 17:28:19 +0000 (17:28 +0000)]
Added chararrylit test case.
evans1629 [Wed, 3 Jul 2002 22:50:48 +0000 (22:50 +0000)]
Fixed pre-processing bug reported by Adam Clarke. Moved marking point
in cpplib.c.
evans1629 [Tue, 2 Jul 2002 13:59:57 +0000 (13:59 +0000)]
Fixed annotations on struct iovec and struct msghdr in unix.h
drl7x [Mon, 1 Jul 2002 08:59:13 +0000 (08:59 +0000)]
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.
drl7x [Tue, 25 Jun 2002 04:29:17 +0000 (04:29 +0000)]
Fixed unix.h so splint could parse it so that splint could build the library.
drl7x [Fri, 7 Jun 2002 20:19:08 +0000 (20:19 +0000)]
Added back previosuly removed file lslinit.c to get splint to compile.
evans1629 [Fri, 31 May 2002 20:33:14 +0000 (20:33 +0000)]
Committed to enable merge.
evans1629 [Mon, 20 May 2002 14:33:15 +0000 (14:33 +0000)]
Added splint.spec file contributed by Heiko Abraham
evans1629 [Sun, 28 Apr 2002 22:43:39 +0000 (22:43 +0000)]
Fixed manual typo.
Split streams for warnings and status messages.
herbert [Sat, 13 Apr 2002 11:54:44 +0000 (11:54 +0000)]
test/Makefile.os2: merged in changes from 3.0.1.6 to 3.0.1.7
herbert [Fri, 12 Apr 2002 09:39:56 +0000 (09:39 +0000)]
stringliteral fixed
herbert [Fri, 12 Apr 2002 09:29:35 +0000 (09:29 +0000)]
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.
drl7x [Fri, 12 Apr 2002 07:48:20 +0000 (07:48 +0000)]
*** empty log message ***
drl7x [Fri, 12 Apr 2002 06:29:00 +0000 (06:29 +0000)]
Meaningless file added to see if committs also affect the splint repository.
evans1629 [Sat, 30 Mar 2002 20:24:21 +0000 (20:24 +0000)]
Fixed problem with comman line redefinitions (no filename).
drl7x [Fri, 29 Mar 2002 04:43:21 +0000 (04:43 +0000)]
Hacking Makefile to print a warning when test suite to run under /usr
evans1629 [Mon, 25 Mar 2002 19:04:17 +0000 (19:04 +0000)]
Testing update message.
evans1629 [Mon, 25 Mar 2002 18:55:48 +0000 (18:55 +0000)]
Fixed creation of temp files.
evans1629 [Mon, 18 Mar 2002 01:54:51 +0000 (01:54 +0000)]
Fixed anytype resolution.
evans1629 [Sun, 17 Mar 2002 19:49:46 +0000 (19:49 +0000)]
Removed unexport's from makefile. They don't seem to work everywhere.
evans1629 [Sun, 17 Mar 2002 19:45:30 +0000 (19:45 +0000)]
Added llgrammar_gen2.h
evans1629 [Sun, 17 Mar 2002 19:42:22 +0000 (19:42 +0000)]
Added signature_gen.h
evans1629 [Sun, 17 Mar 2002 19:36:50 +0000 (19:36 +0000)]
Added llgrammar_gen.h
evans1629 [Sun, 17 Mar 2002 19:30:16 +0000 (19:30 +0000)]
Added cgrammar_tokens.h
evans1629 [Sun, 17 Mar 2002 19:19:54 +0000 (19:19 +0000)]
Added htmlfileformat flag.
evans1629 [Sun, 17 Mar 2002 04:44:16 +0000 (04:44 +0000)]
Fixed internal error for stray type names in structure field declarations.
evans1629 [Sun, 17 Mar 2002 04:32:50 +0000 (04:32 +0000)]
Fixed problem with unnamed unions within struct definitions.
evans1629 [Sun, 17 Mar 2002 03:41:17 +0000 (03:41 +0000)]
Fixed problem with print format for +showalluses.
evans1629 [Sat, 16 Mar 2002 19:40:38 +0000 (19:40 +0000)]
Fixed problem with resetting null state after error for constants.
Added anytype constant to support /*@alt anytype@*/ properly.
evans1629 [Sat, 16 Mar 2002 00:54:13 +0000 (00:54 +0000)]
Fixed problem with loop guards in loop test effects. New test case
looptesteffect. (Reported by Anders Pilegaard)
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
This page took 0.569274 seconds and 4 git commands to generate.