Remove splint tags.

3 files changed, 2 insertions, 57 deletions

diff --git a/misc/fnmatch.c b/misc/fnmatch.c
index aef33970f..618317ab5 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 4cf1baa9e..a2ee18b27 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 93cc8301d..fe5095933 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;