[project @ 2005-03-30 11:08:47 by simonmar]

statsPrintf: add a gcc attribute to get better type errors

[project @ 2005-03-30 11:08:47 by simonmar]
statsPrintf: add a gcc attribute to get better type errors
b0de964e · simonmar · 9ebc66ac · b0de964e
Commit b0de964e authored Mar 30, 2005 by simonmar
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

ghc/rts/Stats.c ghc/rts/Stats.c +3 -1

No files found.
--- a/ghc/rts/Stats.c
+++ b/ghc/rts/Stats.c
@@ -121,7 +121,9 @@ static TICK_TYPE *GC_coll_times;
 static void  getTimes(void);
 static nat   pageFaults(void);

-static void statsPrintf( char *s, ... );
+static void statsPrintf( char *s, ... ) 
+    GNUC3_ATTRIBUTE(format (printf, 1, 2));
+
 static void statsFlush( void );
 static void statsClose( void );