On 10/23/18 1:26 PM, Philippe Mathieu-Daudé wrote: >> +#pragma GCC diagnostic push >> +#pragma GCC diagnostic ignored "-Wredundant-decls" > > We might move that to a generic Makefile rule, this will be useful for other > archs. > > Something like: > > translate*.o: CPPFLAGS += -Wno-redundant-decls
I did want to restrict that to the one region though. r~