altstack: Declare memory clobbers
authorDavid Gibson <david@gibson.dropbear.id.au>
Mon, 15 Feb 2016 11:47:36 +0000 (22:47 +1100)
committerDavid Gibson <david@gibson.dropbear.id.au>
Mon, 15 Feb 2016 11:47:36 +0000 (22:47 +1100)
altstack includes a couple of inline asm blocks with x86 push and pop
instructions.  These instructions will access memory (the stack), but
that's not declared in inline asm statement.  We seem to be getting away
with it, but in theory that could allow the compiler to re-order accesses
to local variables across the asm block.  Since those blocks change the
location of the stack, that could be very bad.

Adding a "memory" clobber should prevent this (effectively making the asm
blocks a compiler memory barrier).

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
ccan/altstack/altstack.c

index 640344db91e6f38da6719ca4418d6439ab59381a..63512931f8955a7efe34b41f52df2696246701fd 100644 (file)
@@ -108,9 +108,10 @@ int altstack(rlim_t max, void *(*fn)(void *), void *arg, void **out)
                        "mov %1, %%rsp\n\t"
                        "sub $8, %%rsp\n\t"
                        "push %%r10"
-                       : "=r" (rsp_save_[0]) : "0" (m + max) : "r10");
+                       : "=r" (rsp_save_[0]) : "0" (m + max) : "r10", "memory");
                out_ = fn_(arg_);
-               asm volatile ("pop %rsp");
+               asm volatile ("pop %%rsp"
+                             : : : "memory");
                ret = 0;
                if (out) *out = out_;
        }