On 3/11/18 15:24, Tom Lane wrote: > So apparently, this bug is specific to gcc 6.3.0 and maybe a few > versions on either side of that.
I tried it on Debian stable with gcc 6.3.0 and couldn't reproduce it.
cc (Debian 6.3.0-18+deb9u1) 6.3.0 20170516
Hmm. So it works for you on exactly the same version that the server runs. That's interesting. Is there something wrong in how we run it? I wonder if its broken by ccache. What we have is:
# current ccache is useless, because 3.1 doesn't work with -fprofile-arcs.
# Bug is fixed in 3.2, so maybe someday when this is updated to a new debian