From 45f0d08992efea87dbc15433e392afdeabec2270 Mon Sep 17 00:00:00 2001 From: cperciva Date: Mon, 4 Aug 2008 01:25:48 +0000 Subject: Mark functions as __dead2 in order to help the LLVM static checker understand which code paths aren't possible. This commit eliminates 117 false positive bug reports of the form "allocate memory; error out if pointer is NULL; use pointer". --- bin/echo/echo.c | 2 +- bin/sh/mknodes.c | 2 +- bin/stty/gfmt.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'bin') diff --git a/bin/echo/echo.c b/bin/echo/echo.c index 45d9d7e..68ff581 100644 --- a/bin/echo/echo.c +++ b/bin/echo/echo.c @@ -55,7 +55,7 @@ __FBSDID("$FreeBSD$"); * Report an error and exit. * Use it instead of err(3) to avoid linking-in stdio. */ -static void +static __dead2 void errexit(const char *prog, const char *reason) { char *errstr = strerror(errno); diff --git a/bin/sh/mknodes.c b/bin/sh/mknodes.c index 53086bd..f0afca6 100644 --- a/bin/sh/mknodes.c +++ b/bin/sh/mknodes.c @@ -103,7 +103,7 @@ static void indent(int, FILE *); static int nextfield(char *); static void skipbl(void); static int readline(void); -static void error(const char *, ...) __printf0like(1, 2); +static void error(const char *, ...) __printf0like(1, 2) __dead2; static char *savestr(const char *); diff --git a/bin/stty/gfmt.c b/bin/stty/gfmt.c index c35a6fc..339da59 100644 --- a/bin/stty/gfmt.c +++ b/bin/stty/gfmt.c @@ -44,7 +44,7 @@ __FBSDID("$FreeBSD$"); #include "stty.h" #include "extern.h" -static void gerr(const char *s); +static void gerr(const char *s) __dead2; static void gerr(const char *s) -- cgit v1.1