diff options
| author | Vicent Marti <tanoku@gmail.com> | 2014-01-15 15:04:47 +0100 |
|---|---|---|
| committer | Vicent Marti <tanoku@gmail.com> | 2014-01-15 15:04:47 +0100 |
| commit | f14d6acd2c65d86adeda9b0f5c1f72fcdb7b1fcb (patch) | |
| tree | 56997c64dbc14a64331f43cef7f0812ad975d9ee | |
| parent | c044aa7d040a0f6846dc551e4ed32aa4a25688db (diff) | |
| download | libgit2-f14d6acd2c65d86adeda9b0f5c1f72fcdb7b1fcb.tar.gz | |
Coverity pragma
| -rw-r--r-- | src/errors.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/errors.c b/src/errors.c index e3057ffa7..77f5ee68a 100644 --- a/src/errors.c +++ b/src/errors.c @@ -29,10 +29,12 @@ static void set_error(int error_class, char *string) void (*git__on_panic)(const char *) = NULL; +/* coverity[+kill] */ void giterr_panic(const char *message) { if (git__on_panic != NULL) { git__on_panic(message); + /* noreturn */ } fprintf(stderr, "libgit2 panic: %s\n", message); |