https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87173
--- Comment #2 from Jozef Lawrynowicz <jozef.l at mittosystems dot com> --- Right, thanks. I'll just submit a patch for gcc.dg/Walloc-size-larger-than-{4,5,6,7}.c to require "size32plus" then.
jozef.l at mittosystems dot com Fri, 31 Aug 2018 11:26:20 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87173
--- Comment #2 from Jozef Lawrynowicz <jozef.l at mittosystems dot com> --- Right, thanks. I'll just submit a patch for gcc.dg/Walloc-size-larger-than-{4,5,6,7}.c to require "size32plus" then.