Add parameter annotation to modf

diff --git a/ChangeLog b/ChangeLog
index 146aacf..49f091a 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-10-12  Andreas Jaeger  <aj@suse.de>
+
+       [BZ #13268]
+       * math/bits/mathcalls.h: Mark argument 2 of modf as non-null.
+
 2011-10-15  Ulrich Drepper  <drepper@gmail.com>
 
        * libio/iofwide.c (do_length): Avoid warning.

diff --git a/NEWS b/NEWS
index 7ef0846..7e9b2c1 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,4 @@
-GNU C Library NEWS -- history of user-visible changes.  2011-10-14
+GNU C Library NEWS -- history of user-visible changes.  2011-10-15
 Copyright (C) 1992-2009, 2010, 2011 Free Software Foundation, Inc.
 See the end for copying conditions.
 
@@ -11,7 +11,7 @@ Version 2.15
 
   6779, 6783, 9696, 11589, 12403, 12847, 12868, 12852, 12874, 12885, 12907,
   12922, 12935, 13007, 13021, 13067, 13068, 13090, 13092, 13114, 13118,
-  13123, 13134, 13138, 13150, 13179, 13192, 13291
+  13123, 13134, 13138, 13150, 13179, 13192, 13268, 13291
 
 * New program pldd to list loaded object of a process
   Implemented by Ulrich Drepper.

diff --git a/math/bits/mathcalls.h b/math/bits/mathcalls.h
index 64da627..4f22abf 100644 (file)
--- a/math/bits/mathcalls.h
+++ b/math/bits/mathcalls.h
@@ -1,5 +1,5 @@
 /* Prototype declarations for math functions; helper file for <math.h>.
-   Copyright (C) 1996-2002, 2003, 2006 Free Software Foundation, Inc.
+   Copyright (C) 1996-2002, 2003, 2006, 2011 Free Software Foundation, Inc.
    This file is part of the GNU C Library.
 
    The GNU C Library is free software; you can redistribute it and/or
@@ -113,7 +113,8 @@ __MATHCALL (log,, (_Mdouble_ __x));
 __MATHCALL (log10,, (_Mdouble_ __x));
 
 /* Break VALUE into integral and fractional parts.  */
-__MATHCALL (modf,, (_Mdouble_ __x, _Mdouble_ *__iptr));
+__MATHCALL (modf,, (_Mdouble_ __x, _Mdouble_ *__iptr))
+     __attribute__ ((__nonnull__ (2)));
 _Mdouble_END_NAMESPACE
 
 #ifdef __USE_GNU