On Thu, Apr 25, 2019 at 7:23 PM Alvaro Herrera <alvhe...@2ndquadrant.com> wrote: > Maybe it takes more than -O0 in cflags to disable those, but as I said, > the compile lines do show the -O0.
Apparently, GCC does perform some optimizations at -O0, which is barely acknowledged by its documentation: http://www.complang.tuwien.ac.at/kps2015/proceedings/KPS_2015_submission_29.pdf Search the PDF for "-O0" to see numerous references to this. It seems to be impossible to turn off all GCC optimizations. -- Peter Geoghegan