userspace: trace.h: use attribute((printf)) so to find bugs in prints

Use of attribute like this would have pointed to the previous bugfix years ago. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

userspace: trace.h: use attribute((printf)) so to find bugs in prints
Use of attribute like this would have pointed to the previous bugfix years ago. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
70a3c55a · Alessandro Rubini · 5127702b · 70a3c55a
Commit 70a3c55a authored Dec 04, 2014 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

trace.h userspace/libwr/include/libwr/trace.h +3 -1

No files found.
--- a/userspace/libwr/include/libwr/trace.h
+++ b/userspace/libwr/include/libwr/trace.h
@@ -17,6 +17,8 @@
 void trace_log_stderr();
 void trace_log_file(const char *filename);
 void trace_printf(const char *fname, int lineno, int level, const char *fmt,
-		  ...);
+		  ...)
+	__attribute__((format(printf,4,5)));
+

 #endif /* __LIBWR_TRACE_H */