stv0g/embeddedsw
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

bsp: xil_printf: Specify attribute(format)

Browse source 
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>
This commit is contained in:
Soren Brinkmann 2015-06-09 14:55:40 -07:00 • committed by Nava kishore Manne
parent ef374e062b
commit bacc86609f
5 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
View file

@ -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);

2
lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
View file

@ -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);

2
lib/bsp/standalone/src/cortexa9/xil_printf.h
View file

@ -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);

2
lib/bsp/standalone/src/cortexr5/xil_printf.h
View file

@ -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);

2
lib/bsp/standalone/src/microblaze/xil_printf.h
View file

@ -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