Fix uninitialized member warning in Gmpz_type.h

2020-11-18 07:43:12 +00:00 · 2020-11-18 07:43:12 +00:00 · eb81d597a1
parent 1cebf95ac7
commit eb81d597a1
1 changed files with 1 additions and 1 deletions
--- a/Number_types/include/CGAL/GMP/Gmpz_type.h
+++ b/Number_types/include/CGAL/GMP/Gmpz_type.h
@ -43,7 +43,7 @@ struct Gmpz_rep
 // maybe the mpz_init_set* functions should move back to Gmpz_rep.
 // But then we should use the Storage_traits::construct/get...

-  mpz_t mpZ;
+  mpz_t mpZ; /* coverity[member_decl] */

  Gmpz_rep() {}
  ~Gmpz_rep() { mpz_clear(mpZ); }