gcc warning from mpz_get_ui

[Torbjorn Granlund]

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 (); }

-- 
Torbjörn