És megintcsak persze, de elfelejted, hogy a kifejezés végére muszáj visszaállítani a stack pointert a kifejezés előttire, különben nem működhetne a program. Magyarán olyan, mintha nem is változott volna a stack.
Látott már valaki ilyet C fordítótól? Mármint hogy a kifejezés végén (függvényhívást leszámítva, mert az ABI specifikus igény lehet) a stackframe-hez nyúl. Mert én még nem. (Csak ezt demonstráló C kódot, ill. generált asm-et fogadok el valid válasznak.)