Update configure and makefile to aclocal/automake 1.10.1 and autoconf 2.61.

[splint.git] / lib / tainted.xh

diff --git a/lib/tainted.xh b/lib/tainted.xh
index 6c82bcb542fa11b8f55ec3166a54f1f87182b074..7e031f02fb3148bd57776c745c15374afbc18154 100644 (file)
--- a/lib/tainted.xh
+++ b/lib/tainted.xh
@@ -9,6 +9,9 @@ extern int fprintf (FILE *stream, /*@untainted@*/ char *format, ...) ;
 extern int sprintf (/*@out@*/ char *s, /*@untainted@*/ char *format, ...) 
    /*@ensures s:taintedness = ...:taintedness@*/ ;
 
+extern int snprintf (/*@out@*/ char *s, size_t n, /*@untainted@*/ const char *format, ...)
+   /*@ensures s:taintedness = ...:taintedness@*/ ;
+
 extern int vprintf (/*@untainted@*/ const char *format, va_list ap);
 extern int vfprintf(FILE *stream, /*@untainted@*/ const char *format, va_list ap);
 extern int vsprintf (/*@out@*/ char *str, /*@untainted@*/ const char *format, va_list ap)