opr: Flag assertion error handles as noreturn

Flag both of our assertion error handlers as being AFS_NORETURN, so
that static analysers can truncate their decision trees, and avoid
false positives, based on assertion statements.

Change-Id: I511c9c19a714cd3eaa5a886bf9561f577244360e
Reviewed-on: http://gerrit.openafs.org/7101
Tested-by: BuildBot <buildbot@rampaginggeek.com>
Reviewed-by: Derrick Brashear <shadow@dementix.org>

diff --git a/src/opr/opr.h b/src/opr/opr.h
index d7db2cc..d42f6db 100644 (file)
--- a/src/opr/opr.h
+++ b/src/opr/opr.h
@@ -15,8 +15,8 @@ extern void opr_NTAbort(void);
 # define opr_abort() abort()
 #endif
 
-extern void opr_AssertionFailed(char *, int);
-extern void opr_AssertFailU(const char *, const char *, int);
+extern void opr_AssertionFailed(char *, int) AFS_NORETURN;
+extern void opr_AssertFailU(const char *, const char *, int) AFS_NORETURN;
 
 #define opr_Assert(ex) \
     do {if (!(ex)) opr_AssertionFailed(__FILE__, __LINE__);} while(0)