Attachment 188850 Details for Bug 223739 – Portlint

[patch] Portlint

devel-splint.diff (text/plain), 2.49 KB, created by Pedro F. Giffuni on 2017-12-15 02:47:57 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Pedro F. Giffuni

Created: 2017-12-15 02:47:57 UTC

Size: 2.49 KB

patch

obsolete

>Index: devel/splint/Makefile
>===================================================================
>--- devel/splint/Makefile	(revision 456332)
>+++ devel/splint/Makefile	(working copy)
>@@ -10,6 +10,8 @@
> MAINTAINER=	lwhsu@FreeBSD.org
> COMMENT=	Tool for statically checking sourcecode for security vulnerabilities
> 
>+LICENSE=	GPLv2
>+
> USES=		gmake
> GNU_CONFIGURE=	yes
> MAKE_JOBS_UNSAFE=	yes
>Index: devel/splint/files/patch-src__Headers__constants.h
>===================================================================
>--- devel/splint/files/patch-src__Headers__constants.h	(revision 456332)
>+++ devel/splint/files/patch-src__Headers__constants.h	(working copy)
>@@ -1,5 +1,5 @@
>---- src/Headers/constants.h.orig	2004-08-01 03:04:28.000000000 +0800
>-+++ src/Headers/constants.h	2007-07-25 21:58:56.000000000 +0800
>+--- src/Headers/constants.h.orig	2007-07-13 22:42:49 UTC
>++++ src/Headers/constants.h
> @@ -101,7 +101,7 @@
>  # define DEFAULT_SYSTEMDIR "/os2/"
>  # else                            
>Index: devel/splint/files/patch-src__lcllib.c
>===================================================================
>--- devel/splint/files/patch-src__lcllib.c	(revision 456332)
>+++ devel/splint/files/patch-src__lcllib.c	(working copy)
>@@ -1,6 +1,6 @@
>---- src/lcllib.c.orig	Wed Oct 30 17:51:13 2002
>-+++ src/lcllib.c	Wed Oct 30 22:37:48 2002
>-@@ -49,13 +49,7 @@
>+--- src/lcllib.c.orig	2007-07-13 22:42:49 UTC
>++++ src/lcllib.c
>+@@ -51,13 +51,7 @@
>  extern /*:open:*/ /*@dependent@*/ FILE *yyin;
>  /*@=incondefs@*/ /*@=redecl@*/
>  
>@@ -15,7 +15,7 @@
>  {
>    "dirent",
>    "fcntl",
>-@@ -77,7 +71,10 @@
>+@@ -79,7 +73,10 @@ static ob_mstring posixlibs[NUMPOSIXLIBS
>    "utime"
>  } ;
>  
>@@ -27,7 +27,7 @@
>  {
>    "assert", 
>    "complex"
>-@@ -85,7 +82,10 @@
>+@@ -87,7 +84,10 @@ static ob_mstring stdlibs[NUMLIBS] =
>    "errno",
>    "fenv",
>    "float",
>@@ -38,13 +38,13 @@
>    "iso646",
>    "limits",
>    "locale",
>-@@ -105,6 +105,9 @@
>-   "wchar",
>+@@ -108,6 +108,9 @@ static ob_mstring stdlibs[NUMLIBS] =
>    "wctype"
>  } ;
>-+
>+ 
> +/*@constant int NUMLIBS; @*/
> +# define NUMLIBS (sizeof(stdlibs) / sizeof(stdlibs[0]))
>- 
>++
>  static bool loadLCDFile (FILE * p_f, cstring p_name);
>  
>+ bool
>Index: devel/splint/pkg-descr
>===================================================================
>--- devel/splint/pkg-descr	(revision 456332)
>+++ devel/splint/pkg-descr	(working copy)
>@@ -4,4 +4,4 @@
> adding annotations to programs, Splint can perform stronger checking
> than can be done by any standard lint.
> 
>-WWW: http://www.splint.org/
>+WWW: http://lclint.cs.virginia.edu

Actions: View | Diff

Attachments on bug 223739: 188103 | 188850