equal
deleted
inserted
replaced
87 |
87 |
88 void operator delete [](void* p) throw() { |
88 void operator delete [](void* p) throw() { |
89 fatal("Should not call global delete []"); |
89 fatal("Should not call global delete []"); |
90 } |
90 } |
91 |
91 |
|
92 #ifdef __GNUG__ |
|
93 // Warning disabled for gcc 5.4 |
|
94 PRAGMA_DIAG_PUSH |
|
95 PRAGMA_DISABLE_GCC_WARNING("-Wc++14-compat") |
|
96 #endif // __GNUG__ |
|
97 |
92 void operator delete(void* p, size_t size) throw() { |
98 void operator delete(void* p, size_t size) throw() { |
93 fatal("Should not call global sized delete"); |
99 fatal("Should not call global sized delete"); |
94 } |
100 } |
95 |
101 |
96 void operator delete [](void* p, size_t size) throw() { |
102 void operator delete [](void* p, size_t size) throw() { |
97 fatal("Should not call global sized delete []"); |
103 fatal("Should not call global sized delete []"); |
98 } |
104 } |
99 |
105 |
|
106 #ifdef __GNUG__ |
|
107 PRAGMA_DIAG_POP |
|
108 #endif // __GNUG__ |
|
109 |
100 #endif // Non-product |
110 #endif // Non-product |