[Gmp-commit] /var/hg/gmp: 3 new changesets

[mercurial at gmplib.org]

details:   /var/hg/gmp/rev/d3e6fa07c598
changeset: 16921:d3e6fa07c598
user:      Marco Bodrato <bodrato at mail.dm.unipi.it>
date:      Sun Nov 01 07:03:16 2015 +0100
description:
Copyright year

details:   /var/hg/gmp/rev/7d501562633c
changeset: 16922:7d501562633c
user:      Marco Bodrato <bodrato at mail.dm.unipi.it>
date:      Sun Nov 01 07:04:24 2015 +0100
description:
Init limb, not pointer

details:   /var/hg/gmp/rev/6d4a34045ee8
changeset: 16923:6d4a34045ee8
user:      Marco Bodrato <bodrato at mail.dm.unipi.it>
date:      Sun Nov 01 07:04:47 2015 +0100
description:
ChangeLog

diffstat:

 ChangeLog          |  9 +++++++++
 mpz/init.c         |  2 +-
 mpz/inits.c        |  2 +-
 tests/cxx/t-ops.cc |  2 +-
 4 files changed, 12 insertions(+), 3 deletions(-)

diffs (54 lines):

diff -r 44286f32c22e -r 6d4a34045ee8 ChangeLog
--- a/ChangeLog	Sat Oct 31 20:04:07 2015 +0100
+++ b/ChangeLog	Sun Nov 01 07:04:47 2015 +0100
@@ -1,7 +1,16 @@
+2015-11-01 Marco Bodrato <bodrato at mail.dm.unipi.it>
+
+	* Version 6.1.0 released.
+
+	* mpz/inits.c [__CHECKER__]: Init limb, not pointer.
+	* mpz/init.c [__CHECKER__]: Likewise (spotted by Vicente Benjumea).
+
 2015-10-30  Torbjörn Granlund  <torbjorng at google.com>
 
 	* mpf/pow_ui.c: Add log(e) precision bits.
 
+	* doc/gmp.texi (Floating-point): Rewrite mpf introduction.
+
 2015-10-29 Marco Bodrato <bodrato at mail.dm.unipi.it>
 
 	* demos/factorize.c: mpz_div_2exp => mpz_tdiv_q_2exp.
diff -r 44286f32c22e -r 6d4a34045ee8 mpz/init.c
--- a/mpz/init.c	Sat Oct 31 20:04:07 2015 +0100
+++ b/mpz/init.c	Sun Nov 01 07:04:47 2015 +0100
@@ -40,6 +40,6 @@
 
 #ifdef __CHECKER__
   /* let the low limb look initialized, for the benefit of mpz_get_ui etc */
-  PTR (x) = 0;
+  PTR (x)[0] = 0;
 #endif
 }
diff -r 44286f32c22e -r 6d4a34045ee8 mpz/inits.c
--- a/mpz/inits.c	Sat Oct 31 20:04:07 2015 +0100
+++ b/mpz/inits.c	Sun Nov 01 07:04:47 2015 +0100
@@ -47,7 +47,7 @@
 
 #ifdef __CHECKER__
       /* let the low limb look initialized, for the benefit of mpz_get_ui etc */
-      PTR (x) = 0;
+      PTR (x)[0] = 0;
 #endif
 
       x = va_arg (ap, mpz_ptr);
diff -r 44286f32c22e -r 6d4a34045ee8 tests/cxx/t-ops.cc
--- a/tests/cxx/t-ops.cc	Sat Oct 31 20:04:07 2015 +0100
+++ b/tests/cxx/t-ops.cc	Sun Nov 01 07:04:47 2015 +0100
@@ -1,6 +1,6 @@
 /* Test mp*_class operators and functions.
 
-Copyright 2001-2003 Free Software Foundation, Inc.
+Copyright 2001-2003, 2015 Free Software Foundation, Inc.
 
 This file is part of the GNU MP Library test suite.