picnoir/Systemd
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

basic: fix ASSERT_SIDE_EFFECT Coverity report in assert_se()

Browse source
This commit is contained in:
Frantisek Sumsal 2019-09-21 17:48:50 +02:00 committed by Chris Down
parent 2bfd08ce38
commit 065a74a7d8
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/basic/macro.h
View file

@ -307,17 +307,18 @@ static inline unsigned long ALIGN_POWER2(unsigned long u) {
extern void __coverity_panic__(void);
static inline int __coverity_check__(int condition) {
static inline void __coverity_check__(int condition) {
if (!condition)
__coverity_panic__();
}
static inline int __coverity_check_and_return__(int condition) {
return condition;
}
#define assert_message_se(expr, message) \
do { \
if (__coverity_check__(!(expr))) \
__coverity_panic__(); \
} while (false)
#define assert_message_se(expr, message) __coverity_check__(!!(expr))
#define assert_log(expr, message) __coverity_check__(!!(expr))
#define assert_log(expr, message) __coverity_check_and_return__(!!(expr))
#else /* ! __COVERITY__ */