gcc warning from mpz_get_ui

[Torbjorn Granlund]

<keith.briggs at bt.com> writes:

  kbriggs at sodium:~> cat gcc_warning.c
  #include <gmp.h>
  void foo() {
    mpz_t x;
    mpz_get_ui(x);
  }
  
  kbriggs at sodium:~> gcc -Wall -O -c gcc_warning.c
  gcc_warning.c: In function 'foo':
  gcc_warning.c:5: warning: control may reach end of non-void function '__gmpz_get_ui' being inlined
  
This is a bogus compiler warning.  We've implemented a workaround
to shut up compilers.

--
Torbjörn