gcc warning from mpz_get_ui

[Gabriel Dos Reis]

Torbjorn Granlund <tege at swox.com> writes:

| Gabriel Dos Reis <gdr at integrable-solutions.net> writes:
| 
|   it should probably be reported to GCC developers.
|   
| Be my guest.  I am not terribly alarmed by
| bogus warnings.  This one is new to GCC 4.
| 
| Here is a simpler example:
| 
| inline int foo (void){ if (1) return 0; }
| int bar () { return foo (); }

   http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23658

-- Gaby