< prev index next >

src/share/vm/utilities/debug.hpp

Print this page
rev 7621 : 8067306: Improve STATIC_ASSERT
Summary: New improved implementation
Reviewed by:
rev 7622 : imported patch update1
rev 7623 : imported patch update3
   1 /*
   2  * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *


 208 // types of VM error - originally in vmError.hpp
 209 enum VMErrorType {
 210   INTERNAL_ERROR   = 0xe0000000,
 211   OOM_MALLOC_ERROR = 0xe0000001,
 212   OOM_MMAP_ERROR   = 0xe0000002
 213 };
 214 
 215 // error reporting helper functions
 216 void report_vm_error(const char* file, int line, const char* error_msg,
 217                      const char* detail_msg = NULL);
 218 void report_fatal(const char* file, int line, const char* message);
 219 void report_vm_out_of_memory(const char* file, int line, size_t size,
 220                              VMErrorType vm_err_type, const char* message);
 221 void report_should_not_call(const char* file, int line);
 222 void report_should_not_reach_here(const char* file, int line);
 223 void report_unimplemented(const char* file, int line);
 224 void report_untested(const char* file, int line, const char* message);
 225 
 226 void warning(const char* format, ...) ATTRIBUTE_PRINTF(1, 2);
 227 
 228 #ifdef ASSERT
 229 // Compile-time asserts.
 230 template <bool> struct StaticAssert;
 231 template <> struct StaticAssert<true> {};
 232 
 233 // Only StaticAssert<true> is defined, so if cond evaluates to false we get
 234 // a compile time exception when trying to use StaticAssert<false>.
 235 #define STATIC_ASSERT(cond)                   \
 236   do {                                        \
 237     StaticAssert<(cond)> DUMMY_STATIC_ASSERT; \
 238     (void)DUMMY_STATIC_ASSERT; /* ignore */   \
 239   } while (false)
 240 #else
 241 #define STATIC_ASSERT(cond)
 242 #endif

 243 
 244 // out of shared space reporting
 245 enum SharedSpaceType {
 246   SharedReadOnly,
 247   SharedReadWrite,
 248   SharedMiscData,
 249   SharedMiscCode
 250 };
 251 
 252 void report_out_of_shared_space(SharedSpaceType space_type);
 253 
 254 // out of memory reporting
 255 void report_java_out_of_memory(const char* message);
 256 
 257 // Support for self-destruct
 258 bool is_error_reported();
 259 void set_error_reported();
 260 
 261 /* Test assert(), fatal(), guarantee(), etc. */
 262 NOT_PRODUCT(void test_error_handler();)
   1 /*
   2  * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *


 208 // types of VM error - originally in vmError.hpp
 209 enum VMErrorType {
 210   INTERNAL_ERROR   = 0xe0000000,
 211   OOM_MALLOC_ERROR = 0xe0000001,
 212   OOM_MMAP_ERROR   = 0xe0000002
 213 };
 214 
 215 // error reporting helper functions
 216 void report_vm_error(const char* file, int line, const char* error_msg,
 217                      const char* detail_msg = NULL);
 218 void report_fatal(const char* file, int line, const char* message);
 219 void report_vm_out_of_memory(const char* file, int line, size_t size,
 220                              VMErrorType vm_err_type, const char* message);
 221 void report_should_not_call(const char* file, int line);
 222 void report_should_not_reach_here(const char* file, int line);
 223 void report_unimplemented(const char* file, int line);
 224 void report_untested(const char* file, int line, const char* message);
 225 
 226 void warning(const char* format, ...) ATTRIBUTE_PRINTF(1, 2);
 227 
 228 // Compile-time asserts.  Cond must be a compile-time constant expression that
 229 // is convertible to bool.  STATIC_ASSERT() can be used anywhere a declaration
 230 // may appear.
 231 //
 232 // Implementation Note: STATIC_ASSERT_FAILURE<true> provides a value member
 233 // rather than type member that could be used directly in the typedef, because
 234 // a type member would require conditional use of "typename", depending on
 235 // whether Cond is dependent or not.  The use of a value member leads to the
 236 // use of an array type.
 237 
 238 template<bool x> struct STATIC_ASSERT_FAILURE;
 239 template<> struct STATIC_ASSERT_FAILURE<true> { enum { value = 1 }; };
 240 
 241 #define STATIC_ASSERT(Cond)                             \
 242   typedef char STATIC_ASSERT_FAILURE_ ## __LINE__ [     \
 243     STATIC_ASSERT_FAILURE< (Cond) >::value ]
 244 
 245 // out of shared space reporting
 246 enum SharedSpaceType {
 247   SharedReadOnly,
 248   SharedReadWrite,
 249   SharedMiscData,
 250   SharedMiscCode
 251 };
 252 
 253 void report_out_of_shared_space(SharedSpaceType space_type);
 254 
 255 // out of memory reporting
 256 void report_java_out_of_memory(const char* message);
 257 
 258 // Support for self-destruct
 259 bool is_error_reported();
 260 void set_error_reported();
 261 
 262 /* Test assert(), fatal(), guarantee(), etc. */
 263 NOT_PRODUCT(void test_error_handler();)
< prev index next >