On 2/15/24 16:51, Patrick Palka wrote:
On Thu, 15 Feb 2024, Jason Merrill wrote:Relaxing to pedwarn is fine, but I think it should be on by default, not just with -pedantic. So it should get a new option.Ah, like so? I'm not sure about naming the option Wmodules-gmf-contents vs just Wgmf-contents, or something else...
Maybe -Wglobal-module? OK with that change. Jason