diff options
| author | Alex Auvolat <alex@adnab.me> | 2016-07-14 10:47:53 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2016-07-14 10:47:53 +0200 |
| commit | 477911553e0443fcafad5bd96c97314aa2f8d9ea (patch) | |
| tree | 3825cba2552c0c4fe9cf64aecf065402db90f39e /src/common | |
| parent | d09f8a08bdd9477bd463a2de03397ff56b5ce75d (diff) | |
| download | kogata-477911553e0443fcafad5bd96c97314aa2f8d9ea.tar.gz kogata-477911553e0443fcafad5bd96c97314aa2f8d9ea.zip | |
Integration of scan-build and splint
Diffstat (limited to 'src/common')
| -rw-r--r-- | src/common/include/debug.h | 8 | ||||
| -rw-r--r-- | src/common/libalgo/btree.c | 2 |
2 files changed, 7 insertions, 3 deletions
diff --git a/src/common/include/debug.h b/src/common/include/debug.h index a4b8b6f..285343c 100644 --- a/src/common/include/debug.h +++ b/src/common/include/debug.h @@ -3,8 +3,12 @@ #include <stddef.h> #include <stdint.h> -void panic(const char* message, const char* file, int line); -void panic_assert(const char* assertion, const char* file, int line); +void panic(const char* message, const char* file, int line) +__attribute__((__noreturn__)); + +void panic_assert(const char* assertion, const char* file, int line) +__attribute__((__noreturn__)); + #define PANIC(s) panic(s, __FILE__, __LINE__); #define ASSERT(s) { if (!(s)) panic_assert(#s, __FILE__, __LINE__); } diff --git a/src/common/libalgo/btree.c b/src/common/libalgo/btree.c index 45fde1e..d5b34bb 100644 --- a/src/common/libalgo/btree.c +++ b/src/common/libalgo/btree.c @@ -24,7 +24,7 @@ btree_t* create_btree(key_cmp_fun_t cf, kv_iter_fun_t relf) { if (t == 0) return 0; t->cf = cf; - if (t->releasef) t->releasef = relf; + t->releasef = relf; t->root = 0; t->nitems = 0; |