From 99825287bd2f7c1bd663194cf67d639de6ca31ec Mon Sep 17 00:00:00 2001
From: jbj <devnull@localhost>
Date: Thu, 26 Feb 2004 01:20:52 +0000
Subject: splint fiddles.

CVS patchset: 7134
CVS date: 2004/02/26 01:20:52
---
 build/files.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'build')

diff --git a/build/files.c b/build/files.c
index 168b5ae4a..70bd75232 100644
--- a/build/files.c
+++ b/build/files.c
@@ -1767,12 +1767,13 @@ static int processMetadataFile(Package pkg, FileList fl, const char * fileURL,
     } else
 	fn = rpmGenPath(buildURL, NULL, fn);
 
+/*@-branchstate@*/
     switch (tag) {
     default:
 	rpmError(RPMERR_BADSPEC, _("%s: can't load unknown tag (%d).\n"),
 		fn, tag);
 	goto exit;
-	/*@notreached@*/
+	/*@notreached@*/ break;
     case RPMTAG_PUBKEYS:
 	if ((rc = pgpReadPkts(fn, &pkt, &pktlen)) <= 0) {
 	    rpmError(RPMERR_BADSPEC, _("%s: public key read failed.\n"), fn);
@@ -1793,6 +1794,7 @@ static int processMetadataFile(Package pkg, FileList fl, const char * fileURL,
 	pkt = NULL;
 	break;
     }
+/*@=branchstate@*/
 
     xx = headerAddOrAppendEntry(pkg->header, tag,
 		RPM_STRING_ARRAY_TYPE, &apkt, 1);
-- 
cgit v1.2.3