The first patch enables gcc flag -Wredundant-decls, the second one
fixes the warnings caused by it. Again, with the flag enabled, dyngen
targets output a lot of useless warnings, so it should be enabled
later. Applying the fixing patch should be safe.

Comments?