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/include | |
| parent | d09f8a08bdd9477bd463a2de03397ff56b5ce75d (diff) | |
| download | kogata-477911553e0443fcafad5bd96c97314aa2f8d9ea.tar.gz kogata-477911553e0443fcafad5bd96c97314aa2f8d9ea.zip | |
Integration of scan-build and splint
Diffstat (limited to 'src/common/include')
| -rw-r--r-- | src/common/include/debug.h | 8 |
1 files changed, 6 insertions, 2 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__); } |