Merge pull request #5189 from GilesBathgate/fix-uninitialized-member-gmpz

Fix uninitialized member in Gmpz_type.h
This commit is contained in:
Laurent Rineau 2021-01-06 16:11:44 +01:00
commit 80c1914f3d
1 changed files with 1 additions and 1 deletions

View File

@ -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); }