From: Nicolas Iooss <nicolas.iooss_linux@m4x.org>
To: Thomas Gleixner <tglx@linutronix.de>,
Ingo Molnar <mingo@redhat.com>, "H. Peter Anvin" <hpa@zytor.com>,
x86@kernel.org
Cc: linux-kernel@vger.kernel.org,
Nicolas Iooss <nicolas.iooss_linux@m4x.org>
Subject: [PATCH 1/1] x86, relocs: add function attributes to die()
Date: Sat, 3 Sep 2016 16:50:37 +0200 [thread overview]
Message-ID: <20160903145037.24685-1-nicolas.iooss_linux@m4x.org> (raw)
When building the kernel with clang and some warning flags, the compiler
reports the following warning:
arch/x86/tools/relocs.c:979:6: warning: variable 'do_reloc' is used
uninitialized whenever 'if' condition is false
[-Wsometimes-uninitialized]
if (!use_real_mode)
^~~~~~~~~~~~~~
arch/x86/tools/relocs.c:991:14: note: uninitialized use occurs here
walk_relocs(do_reloc);
^~~~~~~~
arch/x86/tools/relocs.c:979:2: note: remove the 'if' if its
condition is always true
if (!use_real_mode)
^~~~~~~~~~~~~~~~~~~
arch/x86/tools/relocs.c:976:24: note: initialize the variable
'do_reloc' to silence this warning
const char *symname);
^
= NULL
This is obviously a false positive: whenever the 'if' condition is
false, the program calls die(). Nevertheless the compiler did not know
this call makes the program quit because this function did not have a
noreturn attribute. Add it.
While at it, add a printf attribute too to die() and constify the format
parameter. This leads to some errors when compiling on x86_64:
arch/x86/tools/relocs.c:460:5: error: format specifies type 'int'
but the argument has type 'Elf64_Xword' (aka 'unsigned long')
[-Werror,-Wformat]
sec->shdr.sh_size);
^~~~~~~~~~~~~~~~~
arch/x86/tools/relocs.c:464:5: error: format specifies type 'int'
but the argument has type 'Elf64_Off' (aka 'unsigned long')
[-Werror,-Wformat]
sec->shdr.sh_offset, strerror(errno));
^~~~~~~~~~~~~~~~~~~
To support both 32-bit and 64-bit modes, add casts to long types and use
%lu and %ld to format the numbers.
Signed-off-by: Nicolas Iooss <nicolas.iooss_linux@m4x.org>
---
arch/x86/tools/relocs.c | 28 ++++++++++++++--------------
arch/x86/tools/relocs.h | 3 ++-
arch/x86/tools/relocs_common.c | 2 +-
3 files changed, 17 insertions(+), 16 deletions(-)
diff --git a/arch/x86/tools/relocs.c b/arch/x86/tools/relocs.c
index 0c2fae8d929d..88d9595ee4de 100644
--- a/arch/x86/tools/relocs.c
+++ b/arch/x86/tools/relocs.c
@@ -397,8 +397,8 @@ static void read_shdrs(FILE *fp)
ehdr.e_shnum);
}
if (fseek(fp, ehdr.e_shoff, SEEK_SET) < 0) {
- die("Seek to %d failed: %s\n",
- ehdr.e_shoff, strerror(errno));
+ die("Seek to %lu failed: %s\n",
+ (unsigned long)ehdr.e_shoff, strerror(errno));
}
for (i = 0; i < ehdr.e_shnum; i++) {
struct section *sec = &secs[i];
@@ -431,12 +431,12 @@ static void read_strtabs(FILE *fp)
}
sec->strtab = malloc(sec->shdr.sh_size);
if (!sec->strtab) {
- die("malloc of %d bytes for strtab failed\n",
- sec->shdr.sh_size);
+ die("malloc of %lu bytes for strtab failed\n",
+ (unsigned long)sec->shdr.sh_size);
}
if (fseek(fp, sec->shdr.sh_offset, SEEK_SET) < 0) {
- die("Seek to %d failed: %s\n",
- sec->shdr.sh_offset, strerror(errno));
+ die("Seek to %ld failed: %s\n",
+ (long)sec->shdr.sh_offset, strerror(errno));
}
if (fread(sec->strtab, 1, sec->shdr.sh_size, fp)
!= sec->shdr.sh_size) {
@@ -456,12 +456,12 @@ static void read_symtabs(FILE *fp)
}
sec->symtab = malloc(sec->shdr.sh_size);
if (!sec->symtab) {
- die("malloc of %d bytes for symtab failed\n",
- sec->shdr.sh_size);
+ die("malloc of %lu bytes for symtab failed\n",
+ (unsigned long)sec->shdr.sh_size);
}
if (fseek(fp, sec->shdr.sh_offset, SEEK_SET) < 0) {
- die("Seek to %d failed: %s\n",
- sec->shdr.sh_offset, strerror(errno));
+ die("Seek to %ld failed: %s\n",
+ (long)sec->shdr.sh_offset, strerror(errno));
}
if (fread(sec->symtab, 1, sec->shdr.sh_size, fp)
!= sec->shdr.sh_size) {
@@ -489,12 +489,12 @@ static void read_relocs(FILE *fp)
}
sec->reltab = malloc(sec->shdr.sh_size);
if (!sec->reltab) {
- die("malloc of %d bytes for relocs failed\n",
- sec->shdr.sh_size);
+ die("malloc of %lu bytes for relocs failed\n",
+ (unsigned long)sec->shdr.sh_size);
}
if (fseek(fp, sec->shdr.sh_offset, SEEK_SET) < 0) {
- die("Seek to %d failed: %s\n",
- sec->shdr.sh_offset, strerror(errno));
+ die("Seek to %ld failed: %s\n",
+ (long)sec->shdr.sh_offset, strerror(errno));
}
if (fread(sec->reltab, 1, sec->shdr.sh_size, fp)
!= sec->shdr.sh_size) {
diff --git a/arch/x86/tools/relocs.h b/arch/x86/tools/relocs.h
index f59590645b68..6b7969719833 100644
--- a/arch/x86/tools/relocs.h
+++ b/arch/x86/tools/relocs.h
@@ -16,7 +16,8 @@
#include <regex.h>
#include <tools/le_byteshift.h>
-void die(char *fmt, ...);
+__attribute__((format(printf, 1, 2))) __attribute__((noreturn))
+void die(const char *fmt, ...);
#define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0]))
diff --git a/arch/x86/tools/relocs_common.c b/arch/x86/tools/relocs_common.c
index acab636bcb34..30adb44eff79 100644
--- a/arch/x86/tools/relocs_common.c
+++ b/arch/x86/tools/relocs_common.c
@@ -1,6 +1,6 @@
#include "relocs.h"
-void die(char *fmt, ...)
+void die(const char *fmt, ...)
{
va_list ap;
va_start(ap, fmt);
--
2.9.3
next reply other threads:[~2016-09-03 14:51 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-03 14:50 Nicolas Iooss [this message]
2016-09-03 15:16 ` Nilay Vaish
2016-09-03 15:51 ` Nicolas Iooss
2016-09-04 16:51 ` [PATCH v2 " Nicolas Iooss
2016-09-05 15:28 ` Nilay Vaish
2016-10-23 16:47 ` Nicolas Iooss
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160903145037.24685-1-nicolas.iooss_linux@m4x.org \
--to=nicolas.iooss_linux@m4x.org \
--cc=hpa@zytor.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--cc=tglx@linutronix.de \
--cc=x86@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®