On 10/10/19 9:11 AM, Paul Eggert wrote:
Could you explain what caused the problem? I could not reproduce the problem with GCC 4.8.5 (I used RHEL 7.7 x86-64, which has GCC 4.8.5 20150623 (Red Hat 4.8.5-39)).
Ooops, sorry, I was looking at the wrong output file. I have reproduced the problem and will look into it. Sorry about the noise.
