diff options
| author | jbj <devnull@localhost> | 2001-10-15 17:53:34 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-10-15 17:53:34 +0000 |
| commit | 72471f2e54686202a9862a3fd3bd6d0135d81d2a (patch) | |
| tree | 3625a73d9ef73f4f29df80fe98fb6133041cb4bc /lib/poptI.c | |
| parent | 3f462f318fd2f602fddb1a95e5d652e67aafa49e (diff) | |
| download | rpm-72471f2e54686202a9862a3fd3bd6d0135d81d2a.tar.gz rpm-72471f2e54686202a9862a3fd3bd6d0135d81d2a.tar.bz2 rpm-72471f2e54686202a9862a3fd3bd6d0135d81d2a.zip | |
Explicit branchstate annotations.
CVS patchset: 5113
CVS date: 2001/10/15 17:53:34
Diffstat (limited to 'lib/poptI.c')
| -rw-r--r-- | lib/poptI.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/poptI.c b/lib/poptI.c index ab5453cdc..8d99f1dbf 100644 --- a/lib/poptI.c +++ b/lib/poptI.c @@ -35,10 +35,12 @@ static void installArgCallback( /*@unused@*/ poptContext con, /*@unused@*/ enum poptCallbackReason reason, const struct poptOption * opt, const char * arg, /*@unused@*/ const void * data) + /*@globals rpmIArgs */ /*@modifies rpmIArgs */ { struct rpmInstallArguments_s * ia = &rpmIArgs; + /*@-branchstate@*/ switch (opt->val) { case POPT_EXCLUDEPATH: if (arg == NULL || *arg != '/') @@ -80,6 +82,7 @@ static void installArgCallback( /*@unused@*/ poptContext con, ia->rbtid = tid; } break; } + /*@=branchstate@*/ } /** |