folkslinux
/
rpm
mirror of https://github.com/rpm-software-management/rpm.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove splint tags.

This commit is contained in:
Ralf Corsépius 2007-09-11 23:26:22 +02:00
parent 9f914c2524
commit 65cbae7709
3 changed files with 2 additions and 57 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
misc/fnmatch.c
View File

@ -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@*/

43
misc/glob.c
View File

@ -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@*/

6
misc/realpath.c
View File

@ -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;