> If I were to propose a patch, which way should I go? Why not check out my recently posted -Wpragmas patch on gcc-patches? It takes a set of existing non-optional warnings, and gives them an option that can be used to disable them, which defaults to on (i.e. -Wno-pragmas is the useful option).
That way, you get control but the default action stays the same.