gcc warning from mpz_get_ui

[keith.briggs@bt.com]

kbriggs at sodium:~> uname -a
Linux sodium.bt-sys.bt.co.uk 2.4.18-14 #1 Wed Sep 4 13:35:50 EDT 2002 i686 i686 i386 GNU/Linux

install at sodium:~/gmp-4.1.4> ./config.guess
pentium4-pc-linux-gnu

install at sodium:~/gmp-4.1.4> ./configfsf.guess
i686-pc-linux-gnu

kbriggs at sodium:~> gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.0.0/configure --enable-languages=c,c++,f95
Thread model: posix
gcc version 4.0.0

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