如果函數不返回，執行堆棧會發生什麼？

Question

在C中，如果函數不返回，線程的執行堆棧會發生什麼？

void funcB() __attribute__ ((noreturn)); 

int funcA (...) 
{ 
    // do stuff 
    funcB(); 
    // do more stuff 
} 

這種情況的一個例子是說，FuncA的是創建一個新的線程的內核函數和funcB是切換的新線程用戶模式，並讓它運行內核代碼。

謝謝。

Answer 1

你見過？ http://gcc.gnu.org/onlinedocs/gcc-4.3.2//gcc/Function-Attributes.html

因爲它說，在大約noreturn部分：

不要以爲通過調用函數保存寄存器被調用返回的函數前恢復。

我假定這意味着存在不保證，例如，堆棧指針（或其它堆棧幀的元素）將在noreturn函數完成後恢復。