]> andersk Git - splint.git/log
splint.git
21 years agoAdded files for the splint.sf.net repository as part of the merge process. loop-anlaysis-1-0
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.

21 years agoMerged this branch with the one in the splint.sf.net repository.
drl7x [Sat, 27 Jul 2002 04:40:52 +0000 (04:40 +0000)] 
Merged this branch with the one in the splint.sf.net repository.

21 years agoFixed internal bug that occured when dumping bounds-check annotations involving struc...
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.

21 years agoAdded pointers.c and pointers.h to CVS.
evans1629 [Thu, 11 Jul 2002 18:53:12 +0000 (18:53 +0000)] 
Added pointers.c and pointers.h to CVS.

21 years agoFixed emptyret flag problem. ("emptyreturn" -> "emptyret" in flags.def)
evans1629 [Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)] 
Fixed emptyret flag problem.  ("emptyreturn" -> "emptyret" in flags.def)

21 years ago- library fixes:
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

21 years agoUpdate test results.
evans1629 [Fri, 5 Jul 2002 17:39:43 +0000 (17:39 +0000)] 
Update test results.

21 years agoAdded chararrylit test case.
evans1629 [Fri, 5 Jul 2002 17:28:19 +0000 (17:28 +0000)] 
Added chararrylit test case.

21 years agoFixed pre-processing bug reported by Adam Clarke. Moved marking point
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.

21 years agoFixed annotations on struct iovec and struct msghdr in unix.h
evans1629 [Tue, 2 Jul 2002 13:59:57 +0000 (13:59 +0000)] 
Fixed annotations on struct iovec and struct msghdr in unix.h

21 years agoApparently splint does not correctly handle the case in which a #defined constant...
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.

21 years agoFixed unix.h so splint could parse it so that splint could build the library.
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.

21 years agoAdded back previosuly removed file lslinit.c to get splint to compile.
drl7x [Fri, 7 Jun 2002 20:19:08 +0000 (20:19 +0000)] 
Added back previosuly removed file lslinit.c to get splint to compile.

21 years agoCommitted to enable merge.
evans1629 [Fri, 31 May 2002 20:33:14 +0000 (20:33 +0000)] 
Committed to enable merge.

21 years agoAdded splint.spec file contributed by Heiko Abraham
evans1629 [Mon, 20 May 2002 14:33:15 +0000 (14:33 +0000)] 
Added splint.spec file contributed by Heiko Abraham

22 years agoFixed manual typo.
evans1629 [Sun, 28 Apr 2002 22:43:39 +0000 (22:43 +0000)] 
Fixed manual typo.
Split streams for warnings and status messages.

22 years agotest/Makefile.os2: merged in changes from 3.0.1.6 to 3.0.1.7
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

22 years agostringliteral fixed
herbert [Fri, 12 Apr 2002 09:39:56 +0000 (09:39 +0000)] 
stringliteral fixed

22 years agoos2/makeos2.cmd: also make in ../lib with `-o' option.
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.

22 years ago*** empty log message ***
drl7x [Fri, 12 Apr 2002 07:48:20 +0000 (07:48 +0000)] 
*** empty log message ***

22 years agoMeaningless file added to see if committs also affect the splint repository.
drl7x [Fri, 12 Apr 2002 06:29:00 +0000 (06:29 +0000)] 
Meaningless file added to see if committs also affect the splint repository.

22 years agoFixed problem with comman line redefinitions (no filename).
evans1629 [Sat, 30 Mar 2002 20:24:21 +0000 (20:24 +0000)] 
Fixed problem with comman line redefinitions (no filename).

22 years agoHacking Makefile to print a warning when test suite to run under /usr
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

22 years agoTesting update message.
evans1629 [Mon, 25 Mar 2002 19:04:17 +0000 (19:04 +0000)] 
Testing update message.

22 years agoFixed creation of temp files.
evans1629 [Mon, 25 Mar 2002 18:55:48 +0000 (18:55 +0000)] 
Fixed creation of temp files.

22 years agoFixed anytype resolution.
evans1629 [Mon, 18 Mar 2002 01:54:51 +0000 (01:54 +0000)] 
Fixed anytype resolution.

22 years agoRemoved unexport's from makefile. They don't seem to work everywhere.
evans1629 [Sun, 17 Mar 2002 19:49:46 +0000 (19:49 +0000)] 
Removed unexport's from makefile.  They don't seem to work everywhere.

22 years agoAdded llgrammar_gen2.h
evans1629 [Sun, 17 Mar 2002 19:45:30 +0000 (19:45 +0000)] 
Added llgrammar_gen2.h

22 years agoAdded signature_gen.h
evans1629 [Sun, 17 Mar 2002 19:42:22 +0000 (19:42 +0000)] 
Added signature_gen.h

22 years agoAdded llgrammar_gen.h
evans1629 [Sun, 17 Mar 2002 19:36:50 +0000 (19:36 +0000)] 
Added llgrammar_gen.h

22 years agoAdded cgrammar_tokens.h
evans1629 [Sun, 17 Mar 2002 19:30:16 +0000 (19:30 +0000)] 
Added cgrammar_tokens.h

22 years agoAdded htmlfileformat flag.
evans1629 [Sun, 17 Mar 2002 19:19:54 +0000 (19:19 +0000)] 
Added htmlfileformat flag.

22 years agoFixed internal error for stray type names in structure field declarations.
evans1629 [Sun, 17 Mar 2002 04:44:16 +0000 (04:44 +0000)] 
Fixed internal error for stray type names in structure field declarations.

22 years agoFixed problem with unnamed unions within struct definitions.
evans1629 [Sun, 17 Mar 2002 04:32:50 +0000 (04:32 +0000)] 
Fixed problem with unnamed unions within struct definitions.

22 years agoFixed problem with print format for +showalluses.
evans1629 [Sun, 17 Mar 2002 03:41:17 +0000 (03:41 +0000)] 
Fixed problem with print format for +showalluses.

22 years agoFixed problem with resetting null state after error for constants.
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.

22 years agoFixed problem with loop guards in loop test effects. New test case
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)

22 years agoFixed bug in usymtab clearing derived sRefs when exiting scope.
evans1629 [Fri, 15 Mar 2002 22:56:22 +0000 (22:56 +0000)] 
Fixed bug in usymtab clearing derived sRefs when exiting scope.

22 years agoo Make lltok an abstract type, a pointer to structure instead of a plain
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>

22 years agoWin32 problems
evans1629 [Tue, 12 Mar 2002 14:44:33 +0000 (14:44 +0000)] 
Win32 problems

22 years agoFixed error in Makefile.am (/* */ was used for comment instead of #
drl7x [Tue, 12 Mar 2002 03:47:39 +0000 (03:47 +0000)] 
Fixed error in Makefile.am (/* */ was used for comment instead of #

22 years agoTemporarily set flags to splintme without warnings.
evans1629 [Mon, 11 Mar 2002 00:13:53 +0000 (00:13 +0000)] 
Temporarily set flags to splintme without warnings.

22 years agoFixed line numbering when multi-line macro parameters are used.
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.

22 years agoModified the doc/Makefile.am so that the man page is install under make install.
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

22 years ago*** empty log message ***
drl7x [Wed, 27 Feb 2002 23:02:08 +0000 (23:02 +0000)] 
*** empty log message ***

22 years agoFixed bug with improper handling of string concatenation in string literal related...
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.

22 years agoAdded grammar support for compound literals. (Reported by Peter Anttu.)
evans1629 [Tue, 19 Feb 2002 13:17:59 +0000 (13:17 +0000)] 
Added grammar support for compound literals.  (Reported by Peter Anttu.)

22 years agoIntegrated Herbert Martin Dietze's changes for OS/2.
evans1629 [Tue, 19 Feb 2002 00:52:41 +0000 (00:52 +0000)] 
Integrated Herbert Martin Dietze's changes for OS/2.

22 years ago*** empty log message ***
drl7x [Mon, 18 Feb 2002 19:41:03 +0000 (19:41 +0000)] 
*** empty log message ***

22 years agoUpdated documentation and Makefiles (LCLint -> splint),
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.

22 years agoFixed bug preventing the expression of a return statement from being checked for errors.
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.

22 years agoFixed warning message for shiftsigned flag. (Reported by Melson Beebe.)
evans1629 [Wed, 13 Feb 2002 15:24:58 +0000 (15:24 +0000)] 
Fixed warning message for shiftsigned flag.  (Reported by Melson Beebe.)

22 years agoPut instruction files from web site into CVS development directory. splint-3_0_1_6
drl7x [Tue, 12 Feb 2002 07:58:52 +0000 (07:58 +0000)] 
Put instruction files from web site into CVS development directory.

22 years agoSym link install.html correctly to web site directory.
drl7x [Mon, 11 Feb 2002 20:10:07 +0000 (20:10 +0000)] 
Sym link install.html correctly to web site directory.

22 years agoPut .c and .expect files for new test cases into the extra dist in test/Makefile...
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.

22 years agoAdded warnsysfiles flag to manual.
evans1629 [Mon, 11 Feb 2002 03:14:40 +0000 (03:14 +0000)] 
Added warnsysfiles flag to manual.

22 years agoFixed bug with unrecognized files in #line commands.
evans1629 [Sun, 10 Feb 2002 23:25:10 +0000 (23:25 +0000)] 
Fixed bug with unrecognized files in #line commands.

22 years agoExtended grammar to support designators in initializers.
evans1629 [Sun, 10 Feb 2002 23:20:48 +0000 (23:20 +0000)] 
Extended grammar to support designators in initializers.

22 years agoFixed but with parenthesized pointer declarations.
evans1629 [Sun, 10 Feb 2002 20:29:52 +0000 (20:29 +0000)] 
Fixed but with parenthesized pointer declarations.

22 years agoFixed bug with FIELDASSIGN
evans1629 [Thu, 7 Feb 2002 00:02:52 +0000 (00:02 +0000)] 
Fixed bug with FIELDASSIGN

22 years agoFixed internal errors for field assignments --- this is a temporary fix,
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.

22 years agoFixed internal bug for if ((a[0][1]) != 0)
evans1629 [Wed, 6 Feb 2002 00:08:27 +0000 (00:08 +0000)] 
Fixed internal bug for if ((a[0][1]) != 0)

22 years agoFixed internal bug for enum lists defined in structures without field names.
evans1629 [Wed, 6 Feb 2002 00:03:08 +0000 (00:03 +0000)] 
Fixed internal bug for enum lists defined in structures without field names.

22 years agoRelaxed grammar to allow null external declarations.
evans1629 [Tue, 5 Feb 2002 23:41:23 +0000 (23:41 +0000)] 
Relaxed grammar to allow null external declarations.

22 years agoAdded test case for division by zero.
evans1629 [Tue, 5 Feb 2002 23:13:13 +0000 (23:13 +0000)] 
Added test case for division by zero.

22 years agoForgot to commit multiVal.c
evans1629 [Tue, 5 Feb 2002 23:02:04 +0000 (23:02 +0000)] 
Forgot to commit multiVal.c

22 years ago3.0.1.5 release. splint-3_0_1_5
drl7x [Tue, 5 Feb 2002 06:02:27 +0000 (06:02 +0000)] 
3.0.1.5 release.

22 years agoFixed automake related problems.
drl7x [Tue, 5 Feb 2002 03:36:19 +0000 (03:36 +0000)] 
Fixed automake related problems.
Added the flag boundscompacterrormessages to help output.

22 years agoFixed bug preventing +showconstraintlocation from being the default.
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.

22 years agoFixed problem with handleing oldsytle function declarations.
drl7x [Mon, 4 Feb 2002 09:19:34 +0000 (09:19 +0000)] 
Fixed problem with handleing oldsytle function declarations.
(Problem reported by Thomas Nordin)

22 years agoAdded test case for pproblem with typedefs and fixed size arrays.
drl7x [Sun, 27 Jan 2002 02:45:50 +0000 (02:45 +0000)] 
Added test case for pproblem with typedefs and fixed size arrays.

22 years agoAdded new flag.
drl7x [Fri, 25 Jan 2002 05:57:19 +0000 (05:57 +0000)] 
Added new flag.

22 years agoFixed bug reproted by Jim Francis. Bug was triggered by running splint on typedef...
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];

22 years agoFixed bug in string initialization checking.
drl7x [Tue, 22 Jan 2002 22:28:04 +0000 (22:28 +0000)] 
Fixed bug in string initialization checking.
add stringliteralnoroomfinalnull.

22 years agoAdded test cases for stringliteral initalization checking
drl7x [Tue, 22 Jan 2002 22:21:40 +0000 (22:21 +0000)] 
Added test cases for stringliteral initalization checking

22 years agoHopefully fixed configuration program caused by running an old version of automake. splint-3_0_1_4
drl7x [Sat, 19 Jan 2002 01:28:33 +0000 (01:28 +0000)] 
Hopefully fixed configuration program caused by running an old version of automake.

22 years ago*** empty log message ***
drl7x [Fri, 18 Jan 2002 23:41:57 +0000 (23:41 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Fri, 18 Jan 2002 21:57:57 +0000 (21:57 +0000)] 
*** empty log message ***

22 years agoSystem file warning message now not printed if -systemdirerrors is used.
drl7x [Fri, 18 Jan 2002 21:38:34 +0000 (21:38 +0000)] 
System file warning message now not printed if -systemdirerrors is used.

22 years agoAdded the flag warnsysfiles (default +) if this flag is set splint warns if the user...
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.

22 years agoHopefully finially added bin/Makefile.am and bin/Makefile.in
drl7x [Fri, 18 Jan 2002 04:36:32 +0000 (04:36 +0000)] 
Hopefully finially added bin/Makefile.am and bin/Makefile.in

22 years agoTrying to add dummyfile to be bin to stay in the repository.\18
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

22 years agoTrying to get Makefile in the repository.
drl7x [Fri, 18 Jan 2002 03:56:25 +0000 (03:56 +0000)] 
Trying to get Makefile in the repository.

22 years agoFinished adding flags to the manual.
drl7x [Thu, 17 Jan 2002 20:27:52 +0000 (20:27 +0000)] 
Finished adding flags to the manual.

22 years agoAdded some additonal flag descriptions to the manual.
drl7x [Thu, 17 Jan 2002 11:48:39 +0000 (11:48 +0000)] 
Added some additonal flag descriptions to the manual.

22 years agoFixed buffer overflow in cscanner.l
drl7x [Thu, 17 Jan 2002 06:57:52 +0000 (06:57 +0000)] 
Fixed buffer overflow in cscanner.l

22 years agoFixed handling of array dimensions (bug reported by Randi J. Relander)
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

22 years agoReplacing the directory preBuilt with bin
drl7x [Tue, 15 Jan 2002 04:47:38 +0000 (04:47 +0000)] 
Replacing the directory preBuilt with bin

22 years agoMakefiles for preBuilt this directory is intended to be part of the binary distributi... splint-3_0_1_2
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.

22 years agoAdded files so that mkae bindist will work on system wihtout up to date(bleeding...
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.

22 years agoAdded files to generate a binary package by doing make bindist
drl7x [Mon, 14 Jan 2002 19:56:39 +0000 (19:56 +0000)] 
Added files to generate a binary package by doing make bindist

22 years agoGot gmake to work on test suit. (Changed the cleanout grep so that it searches for...
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.

22 years agoAdded install.html to CVS.
evans1629 [Thu, 10 Jan 2002 19:05:02 +0000 (19:05 +0000)] 
Added install.html to CVS.

22 years agoFixed problem with identifyFlag revealed by splint -help flags full
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.

22 years agoPatched bug in splint --help flags full
drl7x [Thu, 10 Jan 2002 06:24:44 +0000 (06:24 +0000)] 
Patched bug in splint --help flags full

22 years agoPut builtin -D flags for specific arcitectures.
drl7x [Thu, 10 Jan 2002 05:14:54 +0000 (05:14 +0000)] 
Put builtin -D flags for specific arcitectures.

22 years ago*** empty log message ***
drl7x [Thu, 10 Jan 2002 02:33:17 +0000 (02:33 +0000)] 
*** empty log message ***

22 years agosplint now tried to define a symbol based on the current processor type.
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.

22 years agoReviewed DRL's manual changes. Moved bounds flags to appropriate place.
evans1629 [Wed, 9 Jan 2002 15:50:54 +0000 (15:50 +0000)] 
Reviewed DRL's manual changes.  Moved bounds flags to appropriate place.

22 years agostill trying to add doc files
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.