Mark functions not returning as sudo_noreturn

We also put NOTREACHED where it applies.
This commit is contained in:
Rose
2023-07-01 14:04:22 -04:00
parent 97e574091a
commit 45fdfa18f1
24 changed files with 47 additions and 35 deletions

View File

@@ -31,7 +31,7 @@
sudo_dso_public int main(int argc, char *argv[]);
static void
sudo_noreturn static void
usage(void)
{
fprintf(stderr, "usage: %s plugin.so symbols_file\n", getprogname());

View File

@@ -44,7 +44,7 @@ struct sudo_plugin_event * (*plugin_event_alloc)(void);
sudo_dso_public int main(int argc, char *argv[], char *envp[]);
static void
sudo_noreturn static void
usage(void)
{
fprintf(stderr, "usage: %s pathname\n", getprogname());

View File

@@ -65,7 +65,7 @@ check_addr(char *input)
return 0;
}
static void
sudo_noreturn static void
usage(void)
{
fprintf(stderr, "usage: %s datafile\n", getprogname());