On 11/5/18 8:27 AM, Waiman Long wrote: > So gcc had changed to avoid doing that, but my main concern are old > binaries that were compiled with old gcc.
Yeah, fair enough. FWIW, I don't have any strong feelings about this patch either way, but supporting old binaries/compilers without crashing seems fairly important. I'm yet to see any major downsides to your patch.

