debian/notmuch
1
0
Fork 0
mirror of https://git.notmuchmail.org/git/notmuch synced 2024-11-22 02:48:08 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Annotate internal_error with the attribute noreturn

Browse source 
Annotating functions that do not return with the noreturn attribute
(which is understood by both gcc and clang) prevents static analyzers
from generating false positives (internal_error is used to terminate
the process and is used extensively in error handling code paths).

Remove the return statement that was placed there to appease the
compiler. Functions annotated with noreturn are not supposed to return
any values.

Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>
This commit is contained in:
Justus Winter 2012-09-24 17:21:19 +02:00 committed by David Bremner
parent faf6ede3ef
commit 2f40ca28a4
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
util/error_util.c
View file

@ -24,7 +24,7 @@
#include "error_util.h"
int
void
_internal_error (const char *format, ...)
{
va_list va_args;
@ -35,7 +35,5 @@ _internal_error (const char *format, ...)
vfprintf (stderr, format, va_args);
exit (1);
return 1;
}

6
util/error_util.h
View file

@ -23,14 +23,16 @@
#include <talloc.h>
#include "function-attributes.h"
/* There's no point in continuing when we've detected that we've done
* something wrong internally (as opposed to the user passing in a
* bogus value).
*
* Note that PRINTF_ATTRIBUTE comes from talloc.h
*/
int
_internal_error (const char *format, ...) PRINTF_ATTRIBUTE (1, 2);
void
_internal_error (const char *format, ...) PRINTF_ATTRIBUTE (1, 2) NORETURN_ATTRIBUTE;
/* There's no point in continuing when we've detected that we've done
* something wrong internally (as opposed to the user passing in a