@@ -1420,10 +1420,12 @@ // 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: