diff options
| -rw-r--r-- | misc/fnmatch.c | 10 | ||||
| -rw-r--r-- | misc/glob.c | 43 | ||||
| -rw-r--r-- | misc/realpath.c | 6 |
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; |