gcc warning from mpz_get_ui

Gabriel Dos Reis gdr at integrable-solutions.net
Wed Aug 31 17:20:56 CEST 2005

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

More information about the gmp-bugs mailing list