On Jun 5, 2015, at 8:47 PM, Gilles Gouaillardet <gilles.gouaillar...@gmail.com> wrote:
> i did not use the term "pure" properly. > > please read instead "posix_memalign is a function that does not modify any > user variable" > that assumption is correct when there is no wrapper, and incorrect in our > case. My suggestion is to try to create a small reproducer program that we can send to the GCC folks with the claim that we believe it to be a buggy optimization. Then we can see whether they agree and if not, how they defend that behavior. We probably still need a workaround for now though, and the "volatile" approach seems fine to me. -Dave
