From bacc86609fc27f181f0ae492a749805f17218908 Mon Sep 17 00:00:00 2001
From: Soren Brinkmann <soren.brinkmann@xilinx.com>
Date: Tue, 9 Jun 2015 14:55:40 -0700
Subject: [PATCH] bsp: xil_printf: Specify attribute(format)

Specify the format attribute for the xil_printf() function to allow the
compiler to do printf-style checking of the format string and arguments.

Signed-off-by: Soren Brinkmann <soren.brinkmann@xilinx.com>
---
 lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h | 2 +-
 lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h | 2 +-
 lib/bsp/standalone/src/cortexa9/xil_printf.h        | 2 +-
 lib/bsp/standalone/src/cortexr5/xil_printf.h        | 2 +-
 lib/bsp/standalone/src/microblaze/xil_printf.h      | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h b/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h b/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/cortexa9/xil_printf.h b/lib/bsp/standalone/src/cortexa9/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexa9/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexa9/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/cortexr5/xil_printf.h b/lib/bsp/standalone/src/cortexr5/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexr5/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexr5/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/microblaze/xil_printf.h b/lib/bsp/standalone/src/microblaze/xil_printf.h
index a1675924..64ae1f94 100644
--- a/lib/bsp/standalone/src/microblaze/xil_printf.h
+++ b/lib/bsp/standalone/src/microblaze/xil_printf.h
@@ -38,7 +38,7 @@
 extern "C" {
 #endif
 
-void xil_printf(const char8 *ctrl1, ...);
+void xil_printf(const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print(char *ptr);
 
 #ifdef __cplusplus