gcc - CDECL 呼び出し規約では、スタックにプッシュした引数を再利用できますか?

Question

GCCcdecl呼び出し規則では、呼び出しが返された後、スタックにプッシュした引数が同じであることを信頼できますか? ASM と C が混在し、最適化 ( -O2) が有効になっている場合でも?