https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92564
--- Comment #3 from boger at gcc dot gnu.org --- Yes, I tried the value of 0x80000 and the test passed. In the issue Ian mentioned that 0x100000 was the default on x86. If we want the same default on x86 and ppc64 then 0x100000 would work since the value I tested with is smaller.
