*** 1420,1429 **** --- 1420,1431 ---- // specific. static inline void* dereference_vptr(const void* addr) { return *(void**)addr; } + NORETURN_ATTRIBUTE(void noreturn_function()); + #ifndef PRODUCT // For unit testing only class GlobalDefinitions { public: