A fordító semmit nem rak regiszterbe, aminek a címét átadod bármilyen függvénynek. Merthogy ugye a regiszterben levő változónak nincs címe...
Amúgy az eredeti felvetésre: a stack ilyen módon való abuzálásának egy nagy korlátja van: nem lehet korrektül megírni, csak ha a tulajdonos szál egy lockon alszik garantáltan, amíg a másik szál "matat" a változóin. Ellenkező esetben előfordulhat, hogy a tulajdonos szál exitál, és azonnali hatállyal invalidálódik a stackje. Ennek a "lockon várakozós" verziónak meg kb. semmilyen praktikus haszna nincs.
Szóval az egész felvetést értelmetlennek tartom.