89   fatal("Should not call global delete []");

    89   fatal("Should not call global delete []");

    90 }

    90 }

    91 

    91 

    92 #ifdef __GNUG__

    92 #ifdef __GNUG__

    93 // Warning disabled for gcc 5.4

    93 // Warning disabled for gcc 5.4

    94 PRAGMA_DIAG_PUSH

    95 PRAGMA_DIAG_PUSH

    95 PRAGMA_DISABLE_GCC_WARNING("-Wc++14-compat")

    97 PRAGMA_DISABLE_GCC_WARNING("-Wc++14-compat")

    96 #endif // __GNUG__

    98 #endif // __GNUG__

    97 

    99 

    98 void operator delete(void* p, size_t size) throw() {

   100 void operator delete(void* p, size_t size) throw() {

    99   fatal("Should not call global sized delete");

   101   fatal("Should not call global sized delete");