[splint-discuss] Releasing 3.1.2

[Kozics Péter]

Hello Dave,

Just as Andy, I have been using the CVS code for some time, it was
labelled 3.1.1.2.

In the tgz file of the 3.1.2, in config.h, I found the same string
instead of 3.1.2, and the compiled program identifies itself as 3.1.1.2,
which may be confusing in the future:

$ ./bin/splint.exe
Splint 3.1.1.2 --- 15 Jul 2007


Besides, for 3.1.1.2, I had to use two small patches, attached in the
patch file. the first was necessary so that I can compile splint under
cygwin.

The second was necessary so that splint can parse correctly this (or
something similar):

v = +1;

Please take a look at the patch, perhaps you could use it, because I
think the 3.1.1.2/3.1.2 version string problem should be fixed anyway.

best regards
Peter


David Evans wrote:
> Hi Andy,
>
> I've updated the source code distribution to 3.1.2 (which is posted 
> now on splint.org), to incorporate the latest CVS version (with a few 
> more minor fixes).  The CVS code and source code distribution are now 
> the same.
>
> Thanks for the prodding, I should have done this a long time ago...
>
> --- Dave
>
> Andy Lester wrote:
>> What would it take to get the CVS version of Splint released as 
>> 3.1.2?  It fixes a number of bugs that I've run into as we use it on 
>> the Parrot project (http://parrotcode.org/).  I'm using the CVS 
>> version from my own build, but I'd like the others on the project to 
>> not have to build their own.
>>
>> Thanks,
>> xoxo,
>> Andy
>>
>> -- 
>> Andy Lester => andy at petdance.com => www.petdance.com => AIM:petdance
>>
>>
>>
>>
>> _______________________________________________
>> splint-discuss mailing list
>> splint-discuss at ares.cs.Virginia.EDU
>> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at ares.cs.Virginia.EDU
> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
>

-------------- next part --------------
# 
# In your working directory you should have smtg like this:
#
# $ ll
# total 16
# drwxr-xr-x 13 peter user   0 Sep 30 17:21 splint/
# -rw-r--r--  1 peter user 535 Sep 30 17:55 splint_3.1.1.2-cygwin.patch
#
# and you are supposed to do this:
# $ patch -p0 < splint_3.1.1.2-cygwin.patch
#
diff -aur splint/src/Headers/osd.h splint-cygwin/src/Headers/osd.h
--- splint/src/Headers/osd.h	2003-04-22 04:25:52.000000000 +0200
+++ splint-cygwin/src/Headers/osd.h	2006-12-21 21:25:02.000000000 +0100
@@ -41,7 +41,7 @@
 **
 ** POSIX defines PATHMAX in limits.h
 */
-
+#ifndef MAXPATHLEN
 # ifdef PATH_MAX
 /*@constant size_t MAXPATHLEN; @*/
 # define MAXPATHLEN PATH_MAX
@@ -49,6 +49,9 @@
 /*@constant size_t MAXPATHLEN; @*/
 # define MAXPATHLEN 1024
 # endif
+#endif
+
+typedef mode_t __mode_t;
 
 typedef enum {
   OSD_FILEFOUND,
diff -aur splint/src/constraintGeneration.c splint-cygwin/src/constraintGeneration.c
--- splint/src/constraintGeneration.c	2003-12-08 08:28:12.000000000 +0100
+++ splint-cygwin/src/constraintGeneration.c	2006-12-21 21:02:06.000000000 +0100
@@ -1398,7 +1398,7 @@
 	  cons = constraint_makeMaxSetSideEffectPostDecrement (t1, sequencePoint);
 	  e->ensuresConstraints = constraintList_add (e->ensuresConstraints, cons);
 	}
-      else if (lltok_isMult(tok ))
+      else if (lltok_isMult( tok ))
 	{
 	  if (definatelv)
 	    {
@@ -1424,6 +1424,10 @@
 	{
 	  break;
 	}
+      else if (lltok_isPlus_Op (tok))
+	{
+	  break;
+	}
       else if (lltok_isMinus_Op (tok))
 	{
 	  break;