gcc warning from mpz_get_ui

[Gabriel Dos Reis]

Torbjorn Granlund <tege at swox.com> writes:

| <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.

it should probably be reported to GCC developers.

-- Gaby