diff options
| author | jbj <devnull@localhost> | 1999-09-22 18:17:41 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 1999-09-22 18:17:41 +0000 |
| commit | 388163596677a563fc7febcf5aa52638fdc86420 (patch) | |
| tree | c864e43bec25d19d8e18b894799e216722b556df /rpmio | |
| parent | ac5b027ef0710c5a5ee4ab22c68c4bd06843afcb (diff) | |
| download | rpm-388163596677a563fc7febcf5aa52638fdc86420.tar.gz rpm-388163596677a563fc7febcf5aa52638fdc86420.tar.bz2 rpm-388163596677a563fc7febcf5aa52638fdc86420.zip | |
lclint annotations.
CVS patchset: 3319
CVS date: 1999/09/22 18:17:41
Diffstat (limited to 'rpmio')
| -rw-r--r-- | rpmio/messages.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpmio/messages.c b/rpmio/messages.c index ee6f7c1ef..e968247ec 100644 --- a/rpmio/messages.c +++ b/rpmio/messages.c @@ -64,14 +64,14 @@ void rpmMessage(int level, const char * format, ...) { vfprintf(stderr, format, args); fflush(stderr); exit(EXIT_FAILURE); - /*@unreached@*/ break; + /*@notreached@*/ break; default: fprintf(stderr, _("internal error (rpm bug?): ")); vfprintf(stderr, format, args); fflush(stderr); exit(EXIT_FAILURE); - /*@unreached@*/ break; + /*@notreached@*/ break; } } |