diff options
| author | jbj <devnull@localhost> | 2003-04-09 21:46:31 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2003-04-09 21:46:31 +0000 |
| commit | 552d691608cf3bef7d95acea4e2310a437da2c54 (patch) | |
| tree | 06815cff89dcb22a5bb73e3e96f18d3c727c303a /rpmio/rpmsw.c | |
| parent | 783219a8325bca538d21c367f9c523a79dbcb011 (diff) | |
| download | rpm-552d691608cf3bef7d95acea4e2310a437da2c54.tar.gz rpm-552d691608cf3bef7d95acea4e2310a437da2c54.tar.bz2 rpm-552d691608cf3bef7d95acea4e2310a437da2c54.zip | |
Splint fiddles.
CVS patchset: 6736
CVS date: 2003/04/09 21:46:31
Diffstat (limited to 'rpmio/rpmsw.c')
| -rw-r--r-- | rpmio/rpmsw.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/rpmio/rpmsw.c b/rpmio/rpmsw.c index f8b2fc9dc..53347822d 100644 --- a/rpmio/rpmsw.c +++ b/rpmio/rpmsw.c @@ -79,10 +79,8 @@ static int rpmsw_initialized = 0; rpmsw rpmswNow(rpmsw sw) { -/*@-noeffect@*/ if (!rpmsw_initialized) (void) rpmswInit(); -/*@=noeffect@*/ if (sw == NULL) return NULL; switch (rpmsw_type) { @@ -144,7 +142,6 @@ rpmtime_t rpmswDiff(rpmsw end, rpmsw begin) } #if defined(HP_TIMING_NOW) -/*@-type@*/ static rpmtime_t rpmswCalibrate(void) /*@globals internalState @*/ /*@modifies internalState @*/ @@ -161,9 +158,7 @@ static rpmtime_t rpmswCalibrate(void) req.tv_sec = 0; req.tv_nsec = 20 * 1000 * 1000; for (i = 0; i < 100; i++) { -/*@-compdef@*/ rc = nanosleep(&req, &rem); -/*@=compdef@*/ if (rc == 0) break; if (rem.tv_sec == 0 && rem.tv_nsec == 0) @@ -176,7 +171,6 @@ static rpmtime_t rpmswCalibrate(void) return ticks; } -/*@=type@*/ #endif rpmtime_t rpmswInit(void) @@ -244,7 +238,6 @@ rpmtime_t rpmswInit(void) return rpmsw_overhead; } -/*@-mods@*/ int rpmswEnter(rpmop op, ssize_t rc) { if (op == NULL) @@ -300,5 +293,3 @@ rpmtime_t rpmswSub(rpmop to, rpmop from) } return usecs; } - -/*@=mods@*/ |