]>
andersk Git - splint.git/log
bpringlemeir [Fri, 29 Jan 2010 00:17:11 +0000 (00:17 +0000)]
noexpand always false.
bpringlemeir [Fri, 29 Jan 2010 00:13:42 +0000 (00:13 +0000)]
Fix debug
bpringlemeir [Thu, 28 Jan 2010 17:24:44 +0000 (17:24 +0000)]
Convert some llassert() to llassertfatal(), as we should not continue with null pointers.
bpringlemeir [Wed, 4 Nov 2009 20:28:37 +0000 (20:28 +0000)]
Remove unused cpplib_createDefinition.
bpringlemeir [Sun, 25 Oct 2009 20:55:46 +0000 (20:55 +0000)]
Add more cvsignore files.
bpringlemeir [Sat, 24 Oct 2009 20:21:31 +0000 (20:21 +0000)]
Update configure and makefile to aclocal/automake 1.10.1 and autoconf 2.61.
bpringlemeir [Sat, 24 Oct 2009 20:12:03 +0000 (20:12 +0000)]
Add .cvsignore files.
bpringlemeir [Sat, 24 Oct 2009 20:11:29 +0000 (20:11 +0000)]
Update test files to automake 1.10.1
bpringlemeir [Wed, 30 Sep 2009 20:44:17 +0000 (20:44 +0000)]
Changed makefile to include line information in generated yacc/bison code (as I had already commited the 'der' variants.
bpringlemeir [Wed, 30 Sep 2009 20:42:39 +0000 (20:42 +0000)]
Add an ignore file for generated files.
bpringlemeir [Wed, 9 Sep 2009 00:43:26 +0000 (00:43 +0000)]
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.
bpringlemeir [Tue, 8 Sep 2009 21:23:43 +0000 (21:23 +0000)]
Fix bit rot of DPRINTF calls.
bpringlemeir [Sat, 5 Sep 2009 23:06:06 +0000 (23:06 +0000)]
Fix DPRINTF bit rot.
bpringlemeir [Thu, 7 Aug 2008 02:51:59 +0000 (02:51 +0000)]
Allow compile on apple platforms. osd.c
Use pid_t instead of __pid_t as per open group.
bpringlemeir [Sun, 3 Feb 2008 07:01:15 +0000 (07:01 +0000)]
Removed if statement with constant results
herbert [Fri, 10 Aug 2007 22:31:01 +0000 (22:31 +0000)]
Fixed the OS/2 specific files for the latest release.
evans1629 [Fri, 13 Jul 2007 22:42:49 +0000 (22:42 +0000)]
*** empty log message ***
evans1629 [Fri, 13 Jul 2007 20:52:26 +0000 (20:52 +0000)]
Updated expected output for help.expect to include new flags.
evans1629 [Sat, 25 Sep 2004 14:42:30 +0000 (14:42 +0000)]
Fixed declarations of inptr_t and uintptr_t.
evans1629 [Sat, 31 Jul 2004 19:04:25 +0000 (19:04 +0000)]
Fixed problem with NULL being changed.
evans1629 [Tue, 27 Jul 2004 21:27:51 +0000 (21:27 +0000)]
Fixed -help <mode> bug.
evans1629 [Fri, 21 May 2004 12:57:21 +0000 (12:57 +0000)]
Added va_copy to standard.h.
evans1629 [Tue, 18 May 2004 19:07:46 +0000 (19:07 +0000)]
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.
evans1629 [Mon, 12 Jan 2004 22:50:55 +0000 (22:50 +0000)]
Added support for omitted if clauses in conditionals, patch provided by peteran.
drl7x [Mon, 8 Dec 2003 07:28:10 +0000 (07:28 +0000)]
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
drl7x [Mon, 8 Dec 2003 00:42:29 +0000 (00:42 +0000)]
Committing to update configuration scripts.
drl7x [Sun, 7 Dec 2003 21:07:20 +0000 (21:07 +0000)]
Fixed syntax error in file.
evans1629 [Wed, 5 Nov 2003 14:42:41 +0000 (14:42 +0000)]
Added realrelatecompare flag.
evans1629 [Sun, 2 Nov 2003 21:06:39 +0000 (21:06 +0000)]
Fixed localtime/gmtime null anntation.
evans1629 [Sun, 2 Nov 2003 20:55:03 +0000 (20:55 +0000)]
*** empty log message ***
evans1629 [Tue, 28 Oct 2003 22:41:16 +0000 (22:41 +0000)]
Fixed internal bug reporting for redefinition of __func__
evans1629 [Mon, 27 Oct 2003 18:23:29 +0000 (18:23 +0000)]
Fixed line counting for #pragma's.
evans1629 [Thu, 18 Sep 2003 13:50:11 +0000 (13:50 +0000)]
Fixed Win32 files closed bug.
evans1629 [Tue, 16 Sep 2003 02:59:19 +0000 (02:59 +0000)]
Fixed processing of multi-dimensional arrays.
herbert [Thu, 11 Sep 2003 11:54:11 +0000 (11:54 +0000)]
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/'.
evans1629 [Sat, 23 Aug 2003 19:34:09 +0000 (19:34 +0000)]
Fixed \ line parsing.
evans1629 [Wed, 13 Aug 2003 02:34:29 +0000 (02:34 +0000)]
Fixed manual csvoverwrite.
Fixed && and || for non-predicate guards.
evans1629 [Wed, 13 Aug 2003 01:52:46 +0000 (01:52 +0000)]
Fixed scanf %x problem.
evans1629 [Fri, 18 Jul 2003 23:25:43 +0000 (23:25 +0000)]
Fixed problem with shadow parameters.
evans1629 [Thu, 10 Jul 2003 20:33:24 +0000 (20:33 +0000)]
Fixed problem with global struct assignments.
evans1629 [Fri, 13 Jun 2003 21:40:56 +0000 (21:40 +0000)]
Added missing signal.h information to posix.h
evans1629 [Tue, 10 Jun 2003 05:58:24 +0000 (05:58 +0000)]
Made allocations involving sizeof work correctly (test/malloc.c).
Fixed implicit constraints for functions.
evans1629 [Mon, 9 Jun 2003 06:09:57 +0000 (06:09 +0000)]
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.
evans1629 [Sat, 7 Jun 2003 18:28:07 +0000 (18:28 +0000)]
Fixed problem with russian characters.
drl7x [Wed, 7 May 2003 05:01:23 +0000 (05:01 +0000)]
Committing before tagging release.
drl7x [Tue, 29 Apr 2003 02:56:40 +0000 (02:56 +0000)]
Updated index in manual.
evans1629 [Tue, 29 Apr 2003 01:33:59 +0000 (01:33 +0000)]
Renamings to avoid conflicts with type names.
drl7x [Mon, 28 Apr 2003 23:27:53 +0000 (23:27 +0000)]
Added instruction for the Mac OSX build.
drl7x [Mon, 28 Apr 2003 22:43:56 +0000 (22:43 +0000)]
Got rid of outdated mailing list information.
drl7x [Mon, 28 Apr 2003 22:04:49 +0000 (22:04 +0000)]
Made some quick updates to the html version of the manual.
drl7x [Mon, 28 Apr 2003 21:27:28 +0000 (21:27 +0000)]
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
drl7x [Mon, 28 Apr 2003 19:02:16 +0000 (19:02 +0000)]
Added the manual pdf to CVS.
drl7x [Mon, 28 Apr 2003 00:25:13 +0000 (00:25 +0000)]
Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was already being used.
(Bug for reported by John Regehr )
drl7x [Sun, 27 Apr 2003 22:27:36 +0000 (22:27 +0000)]
Updated the manual.
All flags supported by Splint are now listed. Also I fixed the section on numabstact types.
drl7x [Sun, 27 Apr 2003 21:20:32 +0000 (21:20 +0000)]
Updated html and word versions of the manual
drl7x [Wed, 23 Apr 2003 19:48:42 +0000 (19:48 +0000)]
Answered some of these questions in more detail.
evans1629 [Tue, 22 Apr 2003 02:31:57 +0000 (02:31 +0000)]
Fixed overly agressive assertions (from checking splint *.c in test/)
evans1629 [Tue, 22 Apr 2003 01:25:49 +0000 (01:25 +0000)]
Fixes after removing -unrecogcomments flag for make splintme.
drl7x [Mon, 21 Apr 2003 20:20:27 +0000 (20:20 +0000)]
Doing the commit so that files can be taged.
Changed 3.0.1.7 to 3.1.0 in the installation instructions.
drl7x [Mon, 21 Apr 2003 20:10:20 +0000 (20:10 +0000)]
Fixed line numbering in faq.html
drl7x [Mon, 21 Apr 2003 06:12:30 +0000 (06:12 +0000)]
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.
drl7x [Mon, 21 Apr 2003 04:31:46 +0000 (04:31 +0000)]
Beautified the html code for the faq.
drl7x [Mon, 21 Apr 2003 04:13:02 +0000 (04:13 +0000)]
Indexed faq.html
drl7x [Mon, 21 Apr 2003 03:19:08 +0000 (03:19 +0000)]
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.
evans1629 [Mon, 21 Apr 2003 01:52:30 +0000 (01:52 +0000)]
Fixes for win32
drl7x [Mon, 21 Apr 2003 01:02:07 +0000 (01:02 +0000)]
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.
drl7x [Mon, 21 Apr 2003 00:27:57 +0000 (00:27 +0000)]
Added the splint.org css sheet to the html version of the faq.
drl7x [Sun, 20 Apr 2003 23:43:29 +0000 (23:43 +0000)]
Removed LARCH_PATH unfound reference from help.expect
VS: ----------------------------------------------------------------------
evans1629 [Sun, 20 Apr 2003 22:55:04 +0000 (22:55 +0000)]
Fixed inclusion problems with osd.h.
evans1629 [Sun, 20 Apr 2003 22:45:10 +0000 (22:45 +0000)]
Making fixes for Microsoft Visual C++ compiler.
Moved portab.h into osd.h (and removed portab.h)
removed empty constraintOutput.c
drl7x [Sun, 20 Apr 2003 20:58:55 +0000 (20:58 +0000)]
Created html faq file to replace the faq.txt
evans1629 [Sun, 20 Apr 2003 20:07:53 +0000 (20:07 +0000)]
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.
evans1629 [Sun, 20 Apr 2003 02:31:48 +0000 (02:31 +0000)]
Incorporated path for file inclusion in cpplib.c.
Updated version number.
evans1629 [Wed, 16 Apr 2003 22:41:39 +0000 (22:41 +0000)]
Added linux builtin type in inet.h to unix library.
Changed default setting of warnunixlib and error message.
evans1629 [Mon, 14 Apr 2003 04:12:55 +0000 (04:12 +0000)]
Fixed all /*@i...@*/ tags (except 1).
evans1629 [Sat, 12 Apr 2003 14:42:16 +0000 (14:42 +0000)]
Testing CVS setup. Changed src/Makefile.am to reflect correct number of
r/r conflicts.
drl7x [Sat, 12 Apr 2003 04:12:21 +0000 (04:12 +0000)]
Fixed /*@i@*/ warning in splintme
drl7x [Fri, 11 Apr 2003 22:31:31 +0000 (22:31 +0000)]
Fixed /*@i@*/ splintme errors.
drl7x [Fri, 11 Apr 2003 22:13:28 +0000 (22:13 +0000)]
Fixed /*@i@*/ warnings.
drl7x [Fri, 11 Apr 2003 22:02:55 +0000 (22:02 +0000)]
Surpressed spurious splintme error in osd.c
drl7x [Fri, 11 Apr 2003 19:17:59 +0000 (19:17 +0000)]
Cleaned up code in doMergeString
drl7x [Fri, 11 Apr 2003 19:10:50 +0000 (19:10 +0000)]
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.
drl7x [Mon, 7 Apr 2003 01:41:27 +0000 (01:41 +0000)]
Fixed name checking errors.
drl7x [Mon, 7 Apr 2003 01:09:32 +0000 (01:09 +0000)]
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.
drl7x [Mon, 31 Mar 2003 18:19:38 +0000 (18:19 +0000)]
Committing Evans's update of man page to fix problems reported by ESR.
drl7x [Mon, 31 Mar 2003 07:26:19 +0000 (07:26 +0000)]
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.
drl7x [Mon, 31 Mar 2003 03:29:18 +0000 (03:29 +0000)]
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.
evans1629 [Sat, 29 Mar 2003 17:26:15 +0000 (17:26 +0000)]
*** empty log message ***
drl7x [Fri, 28 Mar 2003 19:23:19 +0000 (19:23 +0000)]
Fixed type error causing a seg fault.
drl7x [Mon, 24 Mar 2003 07:53:23 +0000 (07:53 +0000)]
Added web version of the realloc document.
(Created with save as html and then fixed up with Tidy.)
drl7x [Mon, 24 Mar 2003 07:50:59 +0000 (07:50 +0000)]
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.
drl7x [Mon, 17 Mar 2003 22:27:01 +0000 (22:27 +0000)]
Added html version of manual. (This is the 7 Jan 2002 version.)
drl7x [Mon, 17 Mar 2003 19:56:18 +0000 (19:56 +0000)]
Made a few quick edits to the manual before creating the HTML page.
drl7x [Mon, 10 Mar 2003 06:39:53 +0000 (06:39 +0000)]
Updated libary version number.
drl7x [Sat, 8 Mar 2003 07:07:06 +0000 (07:07 +0000)]
Added the FAQ and a document on using realloc to CVS.
Edited Makefile.am so they would be included in the distribution tar ball
drl7x [Fri, 7 Mar 2003 08:10:38 +0000 (08:10 +0000)]
Fixed some splintme errors from the previous code change.
drl7x [Fri, 7 Mar 2003 07:16:11 +0000 (07:16 +0000)]
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.
drl7x [Thu, 6 Mar 2003 06:20:48 +0000 (06:20 +0000)]
Modified tests to account for bool being defined in the standard library.
drl7x [Thu, 6 Mar 2003 05:58:07 +0000 (05:58 +0000)]
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
drl7x [Thu, 6 Mar 2003 04:29:34 +0000 (04:29 +0000)]
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.
This page took 0.109496 seconds and 4 git commands to generate.