| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef V8_CHECKS_H_ | 5 #ifndef V8_CHECKS_H_ |
| 6 #define V8_CHECKS_H_ | 6 #define V8_CHECKS_H_ |
| 7 | 7 |
| 8 #include <string.h> | 8 #include <string.h> |
| 9 | 9 |
| 10 #include "../include/v8stdint.h" | 10 #include "../include/v8stdint.h" |
| (...skipping 222 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 233 #define CHECK_NE(unexpected, value) CheckNonEqualsHelper(__FILE__, __LINE__, \ | 233 #define CHECK_NE(unexpected, value) CheckNonEqualsHelper(__FILE__, __LINE__, \ |
| 234 #unexpected, unexpected, #value, value) | 234 #unexpected, unexpected, #value, value) |
| 235 | 235 |
| 236 | 236 |
| 237 #define CHECK_GT(a, b) CHECK((a) > (b)) | 237 #define CHECK_GT(a, b) CHECK((a) > (b)) |
| 238 #define CHECK_GE(a, b) CHECK((a) >= (b)) | 238 #define CHECK_GE(a, b) CHECK((a) >= (b)) |
| 239 #define CHECK_LT(a, b) CHECK((a) < (b)) | 239 #define CHECK_LT(a, b) CHECK((a) < (b)) |
| 240 #define CHECK_LE(a, b) CHECK((a) <= (b)) | 240 #define CHECK_LE(a, b) CHECK((a) <= (b)) |
| 241 | 241 |
| 242 | 242 |
| 243 // Use C++11 static_assert if possible, which gives error | |
| 244 // messages that are easier to understand on first sight. | |
| 245 #if V8_HAS_CXX11_STATIC_ASSERT | |
| 246 #define STATIC_ASSERT(test) static_assert(test, #test) | |
| 247 #else | |
| 248 // This is inspired by the static assertion facility in boost. This | |
| 249 // is pretty magical. If it causes you trouble on a platform you may | |
| 250 // find a fix in the boost code. | |
| 251 template <bool> class StaticAssertion; | |
| 252 template <> class StaticAssertion<true> { }; | |
| 253 // This macro joins two tokens. If one of the tokens is a macro the | |
| 254 // helper call causes it to be resolved before joining. | |
| 255 #define SEMI_STATIC_JOIN(a, b) SEMI_STATIC_JOIN_HELPER(a, b) | |
| 256 #define SEMI_STATIC_JOIN_HELPER(a, b) a##b | |
| 257 // Causes an error during compilation of the condition is not | |
| 258 // statically known to be true. It is formulated as a typedef so that | |
| 259 // it can be used wherever a typedef can be used. Beware that this | |
| 260 // actually causes each use to introduce a new defined type with a | |
| 261 // name depending on the source line. | |
| 262 template <int> class StaticAssertionHelper { }; | |
| 263 #define STATIC_ASSERT(test) \ | |
| 264 typedef \ | |
| 265 StaticAssertionHelper<sizeof(StaticAssertion<static_cast<bool>((test))>)> \ | |
| 266 SEMI_STATIC_JOIN(__StaticAssertTypedef__, __LINE__) V8_UNUSED | |
| 267 #endif | |
| 268 | |
| 269 | |
| 270 #ifdef DEBUG | 243 #ifdef DEBUG |
| 271 #ifndef OPTIMIZED_DEBUG | 244 #ifndef OPTIMIZED_DEBUG |
| 272 #define ENABLE_SLOW_ASSERTS 1 | 245 #define ENABLE_SLOW_ASSERTS 1 |
| 273 #endif | 246 #endif |
| 274 #endif | 247 #endif |
| 275 | 248 |
| 276 namespace v8 { | 249 namespace v8 { |
| 277 namespace internal { | 250 namespace internal { |
| 278 #ifdef ENABLE_SLOW_ASSERTS | 251 #ifdef ENABLE_SLOW_ASSERTS |
| 279 #define SLOW_ASSERT(condition) \ | 252 #define SLOW_ASSERT(condition) \ |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 315 | 288 |
| 316 // "Extra checks" are lightweight checks that are enabled in some release | 289 // "Extra checks" are lightweight checks that are enabled in some release |
| 317 // builds. | 290 // builds. |
| 318 #ifdef ENABLE_EXTRA_CHECKS | 291 #ifdef ENABLE_EXTRA_CHECKS |
| 319 #define EXTRA_CHECK(condition) CHECK(condition) | 292 #define EXTRA_CHECK(condition) CHECK(condition) |
| 320 #else | 293 #else |
| 321 #define EXTRA_CHECK(condition) ((void) 0) | 294 #define EXTRA_CHECK(condition) ((void) 0) |
| 322 #endif | 295 #endif |
| 323 | 296 |
| 324 #endif // V8_CHECKS_H_ | 297 #endif // V8_CHECKS_H_ |
| OLD | NEW |