C or C++ : Noreturn function called in destructor