From 22da10030628ef5c018b118a9f3ddb3286342a88 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Sat, 2 Feb 2013 00:55:35 +0000 Subject: [PATCH] panic: declare as printf-style-checked --- include/minix/sysutil.h | 3 ++- servers/vfs/filedes.c | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/include/minix/sysutil.h b/include/minix/sysutil.h index 102ff5758..c676277c9 100644 --- a/include/minix/sysutil.h +++ b/include/minix/sysutil.h @@ -48,7 +48,8 @@ int fkey_ctl(int req, int *fkeys, int *sfkeys); int printf(const char *fmt, ...); void kputc(int c); -__dead void panic(const char *fmt, ...); +__dead void panic(const char *fmt, ...) + __attribute__((__format__(__printf__,1,2))); int getuptime(clock_t *ticks, clock_t *realtime, time_t *boottime); int getticks(clock_t *ticks); int tickdelay(clock_t ticks); diff --git a/servers/vfs/filedes.c b/servers/vfs/filedes.c index 1ccdb8eb9..8a6f8d45d 100644 --- a/servers/vfs/filedes.c +++ b/servers/vfs/filedes.c @@ -673,7 +673,7 @@ struct filp *f; f->filp_mode = FILP_CLOSED; f->filp_count = 0; } else if (f->filp_count < 0) { - panic("VFS: invalid filp count: %d ino %d/%d", f->filp_count, + panic("VFS: invalid filp count: %d ino %d/%ld", f->filp_count, vp->v_dev, vp->v_inode_nr); } else { unlock_vnode(f->filp_vno);