Replace STATIC_CHECK with STATIC_ASSERT.

src/checks.h

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_CHECKS_H_
 #define V8_CHECKS_H_
 
 #include <string.h>
 
 #include "../include/v8stdint.h"
@@ skipping 225 matching lines @@
 
 #define CHECK_GT(a, b) CHECK((a) > (b))
 #define CHECK_GE(a, b) CHECK((a) >= (b))
 #define CHECK_LT(a, b) CHECK((a) < (b))
 #define CHECK_LE(a, b) CHECK((a) <= (b))
 
 
 // Use C++11 static_assert if possible, which gives error
 // messages that are easier to understand on first sight.
 #if V8_HAS_CXX11_STATIC_ASSERT
-#define STATIC_CHECK(test) static_assert(test, #test)
+#define STATIC_ASSERT(test) static_assert(test, #test)
 #else
 // This is inspired by the static assertion facility in boost.  This
 // is pretty magical.  If it causes you trouble on a platform you may
 // find a fix in the boost code.
 template <bool> class StaticAssertion;
 template <> class StaticAssertion<true> { };
 // This macro joins two tokens.  If one of the tokens is a macro the
 // helper call causes it to be resolved before joining.
 #define SEMI_STATIC_JOIN(a, b) SEMI_STATIC_JOIN_HELPER(a, b)
 #define SEMI_STATIC_JOIN_HELPER(a, b) a##b
 // Causes an error during compilation of the condition is not
 // statically known to be true.  It is formulated as a typedef so that
 // it can be used wherever a typedef can be used.  Beware that this
 // actually causes each use to introduce a new defined type with a
 // name depending on the source line.
 template <int> class StaticAssertionHelper { };
-#define STATIC_CHECK(test)                                                    \
+#define STATIC_ASSERT(test)                                                    \
   typedef                                                                     \
     StaticAssertionHelper<sizeof(StaticAssertion<static_cast<bool>((test))>)> \
     SEMI_STATIC_JOIN(__StaticAssertTypedef__, __LINE__) V8_UNUSED
 #endif
 
 
 #ifdef DEBUG
 #ifndef OPTIMIZED_DEBUG
 #define ENABLE_SLOW_ASSERTS    1
 #endif
@@ skipping 29 matching lines @@
 #define ASSERT_LE(v1, v2)      CHECK_LE(v1, v2)
 #else
 #define ASSERT_RESULT(expr)    (expr)
 #define ASSERT(condition)      ((void) 0)
 #define ASSERT_EQ(v1, v2)      ((void) 0)
 #define ASSERT_NE(v1, v2)      ((void) 0)
 #define ASSERT_GE(v1, v2)      ((void) 0)
 #define ASSERT_LT(v1, v2)      ((void) 0)
 #define ASSERT_LE(v1, v2)      ((void) 0)
 #endif
-// Static asserts has no impact on runtime performance, so they can be
-// safely enabled in release mode. Moreover, the ((void) 0) expression
-// obeys different syntax rules than typedef's, e.g. it can't appear
-// inside class declaration, this leads to inconsistency between debug
-// and release compilation modes behavior.
-#define STATIC_ASSERT(test)  STATIC_CHECK(test)
 
 #define ASSERT_NOT_NULL(p)  ASSERT_NE(NULL, p)
 
 // "Extra checks" are lightweight checks that are enabled in some release
 // builds.
 #ifdef ENABLE_EXTRA_CHECKS
 #define EXTRA_CHECK(condition) CHECK(condition)
 #else
 #define EXTRA_CHECK(condition) ((void) 0)
 #endif
 
 #endif  // V8_CHECKS_H_