diff options
| author | jbj <devnull@localhost> | 2001-10-15 03:22:10 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-10-15 03:22:10 +0000 |
| commit | d8dc44f36377c59164d19106f0f93843ea5b3a09 (patch) | |
| tree | 8f521d9b295dd0e9d05721cfd97f3d8a5b30801d /build/names.c | |
| parent | 4b67d7621c20e1f2c5aa1ebdf7bb26eb3a6ae0d5 (diff) | |
| download | rpm-d8dc44f36377c59164d19106f0f93843ea5b3a09.tar.gz rpm-d8dc44f36377c59164d19106f0f93843ea5b3a09.tar.bz2 rpm-d8dc44f36377c59164d19106f0f93843ea5b3a09.zip | |
lclint fiddles to annotate globals.
CVS patchset: 5106
CVS date: 2001/10/15 03:22:10
Diffstat (limited to 'build/names.c')
| -rw-r--r-- | build/names.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build/names.c b/build/names.c index 321146e1b..bd4a14fae 100644 --- a/build/names.c +++ b/build/names.c @@ -11,12 +11,18 @@ typedef /*@owned@*/ /*@null@*/ const char * ugstr_t; +/*@unchecked@*/ static uid_t uids[1024]; +/*@unchecked@*/ static ugstr_t unames[1024]; +/*@unchecked@*/ static int uid_used = 0; +/*@unchecked@*/ static gid_t gids[1024]; +/*@unchecked@*/ static ugstr_t gnames[1024]; +/*@unchecked@*/ static int gid_used = 0; void freeNames(void) @@ -178,7 +184,9 @@ const char *const buildHost(void) if (! gotit) { (void) gethostname(hostname, sizeof(hostname)); /*@-unrecog -multithreaded @*/ + /*@-globs@*/ /* FIX: h_errno access */ hbn = gethostbyname(hostname); + /*@=globs@*/ /*@=unrecog =multithreaded @*/ if (hbn) strcpy(hostname, hbn->h_name); |