From 65cbae7709bad0021182e2ba2b35c6c356e15ab5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Ralf=20Cors=C3=A9pius?= <corsepiu@fedoraproject.org>
Date: Tue, 11 Sep 2007 23:26:22 +0200
Subject: [PATCH] Remove splint tags.

---
 misc/fnmatch.c  | 10 ----------
 misc/glob.c     | 43 -------------------------------------------
 misc/realpath.c |  6 ++----
 3 files changed, 2 insertions(+), 57 deletions(-)

diff --git a/misc/fnmatch.c b/misc/fnmatch.c
index aef3397..618317a 100644
--- a/misc/fnmatch.c
+++ b/misc/fnmatch.c
@@ -1,8 +1,3 @@
-/*@-bounds@*/
-/*@-retalias@*/
-/*@-shiftimplementation@*/
-/*@-temptrans@*/
-/*@-unreachable@*/
 /* Copyright (C) 1991-1993, 1996-1999, 2000 Free Software Foundation, Inc.
    This file is part of the GNU C Library.
 
@@ -613,8 +608,3 @@ fnmatch (const char *pattern, const char *string, int flags)
 }
 
 #endif	/* _LIBC or not __GNU_LIBRARY__.  */
-/*@=unreachable@*/
-/*@=temptrans@*/
-/*@=shiftimplementation@*/
-/*@=retalias@*/
-/*@=bounds@*/
diff --git a/misc/glob.c b/misc/glob.c
index 4cf1baa..a2ee18b 100644
--- a/misc/glob.c
+++ b/misc/glob.c
@@ -1,24 +1,3 @@
-/*@-bounds@*/
-/*@-branchstate@*/
-/*@-compdef@*/
-/*@-immediatetrans@*/
-/*@-internalglobs@*/
-/*@-loopswitchbreak@*/
-/*@-modnomods@*/
-/*@-mods@*/
-/*@-moduncon@*/
-/*@-modunconnomods@*/
-/*@-noeffectuncon@*/
-/*@-nullpass@*/
-/*@-onlytrans@*/
-/*@-protoparammatch@*/
-/*@-retalias@*/
-/*@-retvalint@*/
-/*@-shadow@*/
-/*@-sizeoftype@*/
-/*@-temptrans@*/
-/*@-unqualifiedtrans@*/
-/*@-unrecog@*/
 
 /* Copyright (C) 1991,92,93,94,95,96,97,98,99 Free Software Foundation, Inc.
 
@@ -42,7 +21,6 @@
  #pragma alloca
 #endif
 
-/*@access DIR@*/
 
 # include "system.h"
 
@@ -1176,24 +1154,3 @@ glob_in_dir (const char *pattern, const char *directory, int flags,
     }
   return GLOB_NOSPACE;
 }
-/*@=unrecog@*/
-/*@=unqualifiedtrans@*/
-/*@=temptrans@*/
-/*@=sizeoftype@*/
-/*@=shadow@*/
-/*@=retvalint@*/
-/*@=retalias@*/
-/*@=protoparammatch@*/
-/*@=onlytrans@*/
-/*@=nullpass@*/
-/*@=noeffectuncon@*/
-/*@=modunconnomods@*/
-/*@=moduncon@*/
-/*@=mods@*/
-/*@=modnomods@*/
-/*@=loopswitchbreak@*/
-/*@=internalglobs@*/
-/*@=immediatetrans@*/
-/*@=compdef@*/
-/*@=branchstate@*/
-/*@=bounds@*/
diff --git a/misc/realpath.c b/misc/realpath.c
index 93cc830..fe50959 100644
--- a/misc/realpath.c
+++ b/misc/realpath.c
@@ -87,8 +87,7 @@ char resolved_path [];
 					if (new_path == resolved_path + 1)
 						continue;
 					/* Handle ".." by backing up. */
-					while ((--new_path)[-1] != '/')
-						;
+					while ((--new_path)[-1] != '/');
 					continue;
 				}
 			}
@@ -123,8 +122,7 @@ char resolved_path [];
 				new_path = resolved_path;
 			else
 				/* Otherwise back up over this component. */
-				while (*(--new_path) != '/')
-					;
+				while (*(--new_path) != '/');
 			/* Safe sex check. */
 			if (strlen(path) + n >= PATH_MAX) {
 				errno = ENAMETOOLONG;
-- 
2.7.4