Tue, 29 Jul 2014 13:54:16 +0200
8040121: Load variable through a pointer of an incompatible type in src/hotspot/src/share/vm: opto/output.cpp, runtime/sharedRuntimeTrans.cpp, utilities/globalDefinitions_visCPP.hpp
Summary: Fixed parfait warnings in globalDefinitions files by using a union for casts.
Reviewed-by: kvn
duke@435 | 1 | /* |
drchase@6680 | 2 | * Copyright (c) 1998, 2014, Oracle and/or its affiliates. All rights reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
trims@1907 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
trims@1907 | 20 | * or visit www.oracle.com if you need additional information or have any |
trims@1907 | 21 | * questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
stefank@2314 | 25 | #ifndef SHARE_VM_UTILITIES_GLOBALDEFINITIONS_GCC_HPP |
stefank@2314 | 26 | #define SHARE_VM_UTILITIES_GLOBALDEFINITIONS_GCC_HPP |
stefank@2314 | 27 | |
stefank@2314 | 28 | #include "prims/jni.h" |
stefank@2314 | 29 | |
duke@435 | 30 | // This file holds compiler-dependent includes, |
duke@435 | 31 | // globally used constants & types, class (forward) |
duke@435 | 32 | // declarations and a few frequently used utility functions. |
duke@435 | 33 | |
duke@435 | 34 | #include <ctype.h> |
duke@435 | 35 | #include <string.h> |
duke@435 | 36 | #include <stdarg.h> |
duke@435 | 37 | #include <stddef.h> |
duke@435 | 38 | #include <stdio.h> |
duke@435 | 39 | #include <stdlib.h> |
duke@435 | 40 | #include <wchar.h> |
duke@435 | 41 | |
duke@435 | 42 | #ifdef SOLARIS |
duke@435 | 43 | #include <ieeefp.h> |
duke@435 | 44 | #endif // SOLARIS |
duke@435 | 45 | |
duke@435 | 46 | #include <math.h> |
duke@435 | 47 | #ifndef FP_PZERO |
duke@435 | 48 | // Linux doesn't have positive/negative zero |
duke@435 | 49 | #define FP_PZERO FP_ZERO |
duke@435 | 50 | #endif |
duke@435 | 51 | #if (!defined fpclass) && ((!defined SPARC) || (!defined SOLARIS)) |
duke@435 | 52 | #define fpclass fpclassify |
duke@435 | 53 | #endif |
duke@435 | 54 | |
duke@435 | 55 | #include <time.h> |
duke@435 | 56 | #include <fcntl.h> |
duke@435 | 57 | #include <dlfcn.h> |
duke@435 | 58 | #include <pthread.h> |
duke@435 | 59 | |
duke@435 | 60 | #ifdef SOLARIS |
duke@435 | 61 | #include <thread.h> |
duke@435 | 62 | #endif // SOLARIS |
duke@435 | 63 | |
duke@435 | 64 | #include <limits.h> |
duke@435 | 65 | #include <errno.h> |
duke@435 | 66 | |
duke@435 | 67 | #ifdef SOLARIS |
duke@435 | 68 | #include <sys/trap.h> |
duke@435 | 69 | #include <sys/regset.h> |
duke@435 | 70 | #include <sys/procset.h> |
duke@435 | 71 | #include <ucontext.h> |
duke@435 | 72 | #include <setjmp.h> |
duke@435 | 73 | #endif // SOLARIS |
duke@435 | 74 | |
duke@435 | 75 | # ifdef SOLARIS_MUTATOR_LIBTHREAD |
duke@435 | 76 | # include <sys/procfs.h> |
duke@435 | 77 | # endif |
duke@435 | 78 | |
never@3156 | 79 | #if defined(LINUX) || defined(_ALLBSD_SOURCE) |
twisti@2729 | 80 | #ifndef __STDC_LIMIT_MACROS |
kamg@2589 | 81 | #define __STDC_LIMIT_MACROS |
twisti@2729 | 82 | #endif // __STDC_LIMIT_MACROS |
duke@435 | 83 | #include <inttypes.h> |
duke@435 | 84 | #include <signal.h> |
never@3156 | 85 | #ifndef __OpenBSD__ |
duke@435 | 86 | #include <ucontext.h> |
never@3156 | 87 | #endif |
never@3156 | 88 | #ifdef __APPLE__ |
never@3156 | 89 | #include <AvailabilityMacros.h> |
sla@3587 | 90 | #include <mach/mach.h> |
never@3156 | 91 | #endif |
duke@435 | 92 | #include <sys/time.h> |
never@3156 | 93 | #endif // LINUX || _ALLBSD_SOURCE |
duke@435 | 94 | |
duke@435 | 95 | // 4810578: varargs unsafe on 32-bit integer/64-bit pointer architectures |
duke@435 | 96 | // When __cplusplus is defined, NULL is defined as 0 (32-bit constant) in |
duke@435 | 97 | // system header files. On 32-bit architectures, there is no problem. |
duke@435 | 98 | // On 64-bit architectures, defining NULL as a 32-bit constant can cause |
duke@435 | 99 | // problems with varargs functions: C++ integral promotion rules say for |
duke@435 | 100 | // varargs, we pass the argument 0 as an int. So, if NULL was passed to a |
duke@435 | 101 | // varargs function it will remain 32-bits. Depending on the calling |
duke@435 | 102 | // convention of the machine, if the argument is passed on the stack then |
duke@435 | 103 | // only 32-bits of the "NULL" pointer may be initialized to zero. The |
duke@435 | 104 | // other 32-bits will be garbage. If the varargs function is expecting a |
duke@435 | 105 | // pointer when it extracts the argument, then we have a problem. |
duke@435 | 106 | // |
duke@435 | 107 | // Solution: For 64-bit architectures, redefine NULL as 64-bit constant 0. |
duke@435 | 108 | // |
duke@435 | 109 | // Note: this fix doesn't work well on Linux because NULL will be overwritten |
duke@435 | 110 | // whenever a system header file is included. Linux handles NULL correctly |
duke@435 | 111 | // through a special type '__null'. |
duke@435 | 112 | #ifdef SOLARIS |
duke@435 | 113 | #ifdef _LP64 |
duke@435 | 114 | #undef NULL |
duke@435 | 115 | #define NULL 0L |
duke@435 | 116 | #else |
duke@435 | 117 | #ifndef NULL |
duke@435 | 118 | #define NULL 0 |
duke@435 | 119 | #endif |
duke@435 | 120 | #endif |
duke@435 | 121 | #endif |
duke@435 | 122 | |
duke@435 | 123 | // NULL vs NULL_WORD: |
duke@435 | 124 | // On Linux NULL is defined as a special type '__null'. Assigning __null to |
duke@435 | 125 | // integer variable will cause gcc warning. Use NULL_WORD in places where a |
duke@435 | 126 | // pointer is stored as integer value. On some platforms, sizeof(intptr_t) > |
duke@435 | 127 | // sizeof(void*), so here we want something which is integer type, but has the |
duke@435 | 128 | // same size as a pointer. |
never@3156 | 129 | #ifdef __GNUC__ |
duke@435 | 130 | #ifdef _LP64 |
duke@435 | 131 | #define NULL_WORD 0L |
duke@435 | 132 | #else |
xlu@947 | 133 | // Cast 0 to intptr_t rather than int32_t since they are not the same type |
xlu@947 | 134 | // on platforms such as Mac OS X. |
xlu@947 | 135 | #define NULL_WORD ((intptr_t)0) |
duke@435 | 136 | #endif |
duke@435 | 137 | #else |
duke@435 | 138 | #define NULL_WORD NULL |
duke@435 | 139 | #endif |
duke@435 | 140 | |
never@3156 | 141 | #if !defined(LINUX) && !defined(_ALLBSD_SOURCE) |
duke@435 | 142 | // Compiler-specific primitive types |
duke@435 | 143 | typedef unsigned short uint16_t; |
duke@435 | 144 | #ifndef _UINT32_T |
duke@435 | 145 | #define _UINT32_T |
duke@435 | 146 | typedef unsigned int uint32_t; |
duke@435 | 147 | #endif // _UINT32_T |
duke@435 | 148 | |
duke@435 | 149 | #if !defined(_SYS_INT_TYPES_H) |
duke@435 | 150 | #ifndef _UINT64_T |
duke@435 | 151 | #define _UINT64_T |
duke@435 | 152 | typedef unsigned long long uint64_t; |
duke@435 | 153 | #endif // _UINT64_T |
duke@435 | 154 | // %%%% how to access definition of intptr_t portably in 5.5 onward? |
duke@435 | 155 | typedef int intptr_t; |
duke@435 | 156 | typedef unsigned int uintptr_t; |
duke@435 | 157 | // If this gets an error, figure out a symbol XXX that implies the |
duke@435 | 158 | // prior definition of intptr_t, and add "&& !defined(XXX)" above. |
duke@435 | 159 | #endif // _SYS_INT_TYPES_H |
duke@435 | 160 | |
never@3156 | 161 | #endif // !LINUX && !_ALLBSD_SOURCE |
duke@435 | 162 | |
duke@435 | 163 | // Additional Java basic types |
duke@435 | 164 | |
duke@435 | 165 | typedef uint8_t jubyte; |
duke@435 | 166 | typedef uint16_t jushort; |
duke@435 | 167 | typedef uint32_t juint; |
duke@435 | 168 | typedef uint64_t julong; |
duke@435 | 169 | |
duke@435 | 170 | |
duke@435 | 171 | //---------------------------------------------------------------------------------------------------- |
duke@435 | 172 | // Constant for jlong (specifying an long long canstant is C++ compiler specific) |
duke@435 | 173 | |
duke@435 | 174 | // Build a 64bit integer constant |
duke@435 | 175 | #define CONST64(x) (x ## LL) |
duke@435 | 176 | #define UCONST64(x) (x ## ULL) |
duke@435 | 177 | |
duke@435 | 178 | const jlong min_jlong = CONST64(0x8000000000000000); |
duke@435 | 179 | const jlong max_jlong = CONST64(0x7fffffffffffffff); |
duke@435 | 180 | |
duke@435 | 181 | |
duke@435 | 182 | #ifdef SOLARIS |
duke@435 | 183 | //---------------------------------------------------------------------------------------------------- |
duke@435 | 184 | // ANSI C++ fixes |
duke@435 | 185 | // NOTE:In the ANSI committee's continuing attempt to make each version |
duke@435 | 186 | // of C++ incompatible with the previous version, you can no longer cast |
duke@435 | 187 | // pointers to functions without specifying linkage unless you want to get |
duke@435 | 188 | // warnings. |
duke@435 | 189 | // |
duke@435 | 190 | // This also means that pointers to functions can no longer be "hidden" |
duke@435 | 191 | // in opaque types like void * because at the invokation point warnings |
duke@435 | 192 | // will be generated. While this makes perfect sense from a type safety |
duke@435 | 193 | // point of view it causes a lot of warnings on old code using C header |
duke@435 | 194 | // files. Here are some typedefs to make the job of silencing warnings |
duke@435 | 195 | // a bit easier. |
duke@435 | 196 | // |
duke@435 | 197 | // The final kick in the teeth is that you can only have extern "C" linkage |
duke@435 | 198 | // specified at file scope. So these typedefs are here rather than in the |
duke@435 | 199 | // .hpp for the class (os:Solaris usually) that needs them. |
duke@435 | 200 | |
duke@435 | 201 | extern "C" { |
duke@435 | 202 | typedef int (*int_fnP_thread_t_iP_uP_stack_tP_gregset_t)(thread_t, int*, unsigned *, stack_t*, gregset_t); |
duke@435 | 203 | typedef int (*int_fnP_thread_t_i_gregset_t)(thread_t, int, gregset_t); |
duke@435 | 204 | typedef int (*int_fnP_thread_t_i)(thread_t, int); |
duke@435 | 205 | typedef int (*int_fnP_thread_t)(thread_t); |
duke@435 | 206 | |
duke@435 | 207 | typedef int (*int_fnP_cond_tP_mutex_tP_timestruc_tP)(cond_t *cv, mutex_t *mx, timestruc_t *abst); |
duke@435 | 208 | typedef int (*int_fnP_cond_tP_mutex_tP)(cond_t *cv, mutex_t *mx); |
duke@435 | 209 | |
duke@435 | 210 | // typedef for missing API in libc |
duke@435 | 211 | typedef int (*int_fnP_mutex_tP_i_vP)(mutex_t *, int, void *); |
duke@435 | 212 | typedef int (*int_fnP_mutex_tP)(mutex_t *); |
duke@435 | 213 | typedef int (*int_fnP_cond_tP_i_vP)(cond_t *cv, int scope, void *arg); |
duke@435 | 214 | typedef int (*int_fnP_cond_tP)(cond_t *cv); |
duke@435 | 215 | }; |
duke@435 | 216 | #endif // SOLARIS |
duke@435 | 217 | |
duke@435 | 218 | //---------------------------------------------------------------------------------------------------- |
duke@435 | 219 | // Debugging |
duke@435 | 220 | |
duke@435 | 221 | #define DEBUG_EXCEPTION ::abort(); |
duke@435 | 222 | |
bobv@2036 | 223 | #ifdef ARM |
bobv@2036 | 224 | #ifdef SOLARIS |
bobv@2036 | 225 | #define BREAKPOINT __asm__ volatile (".long 0xe1200070") |
bobv@2036 | 226 | #else |
bobv@2036 | 227 | #define BREAKPOINT __asm__ volatile (".long 0xe7f001f0") |
bobv@2036 | 228 | #endif |
bobv@2036 | 229 | #else |
duke@435 | 230 | extern "C" void breakpoint(); |
duke@435 | 231 | #define BREAKPOINT ::breakpoint() |
bobv@2036 | 232 | #endif |
duke@435 | 233 | |
duke@435 | 234 | // checking for nanness |
duke@435 | 235 | #ifdef SOLARIS |
duke@435 | 236 | #ifdef SPARC |
duke@435 | 237 | inline int g_isnan(float f) { return isnanf(f); } |
duke@435 | 238 | #else |
duke@435 | 239 | // isnanf() broken on Intel Solaris use isnand() |
duke@435 | 240 | inline int g_isnan(float f) { return isnand(f); } |
duke@435 | 241 | #endif |
duke@435 | 242 | inline int g_isnan(double f) { return isnand(f); } |
never@3156 | 243 | #elif defined(__APPLE__) |
never@3156 | 244 | inline int g_isnan(double f) { return isnan(f); } |
never@3156 | 245 | #elif defined(LINUX) || defined(_ALLBSD_SOURCE) |
duke@435 | 246 | inline int g_isnan(float f) { return isnanf(f); } |
duke@435 | 247 | inline int g_isnan(double f) { return isnan(f); } |
duke@435 | 248 | #else |
duke@435 | 249 | #error "missing platform-specific definition here" |
duke@435 | 250 | #endif |
duke@435 | 251 | |
bobv@2036 | 252 | // GCC 4.3 does not allow 0.0/0.0 to produce a NAN value |
bobv@2036 | 253 | #if (__GNUC__ == 4) && (__GNUC_MINOR__ > 2) |
bobv@2036 | 254 | #define CAN_USE_NAN_DEFINE 1 |
bobv@2036 | 255 | #endif |
bobv@2036 | 256 | |
bobv@2036 | 257 | |
duke@435 | 258 | // Checking for finiteness |
duke@435 | 259 | |
duke@435 | 260 | inline int g_isfinite(jfloat f) { return finite(f); } |
duke@435 | 261 | inline int g_isfinite(jdouble f) { return finite(f); } |
duke@435 | 262 | |
duke@435 | 263 | |
duke@435 | 264 | // Wide characters |
duke@435 | 265 | |
duke@435 | 266 | inline int wcslen(const jchar* x) { return wcslen((const wchar_t*)x); } |
duke@435 | 267 | |
duke@435 | 268 | |
duke@435 | 269 | // Portability macros |
duke@435 | 270 | #define PRAGMA_INTERFACE #pragma interface |
duke@435 | 271 | #define PRAGMA_IMPLEMENTATION #pragma implementation |
duke@435 | 272 | #define VALUE_OBJ_CLASS_SPEC |
duke@435 | 273 | |
drchase@6680 | 274 | #ifndef ATTRIBUTE_PRINTF |
drchase@6680 | 275 | // Diagnostic pragmas like the ones defined below in PRAGMA_FORMAT_NONLITERAL_IGNORED |
drchase@6680 | 276 | // were only introduced in GCC 4.2. Because we have no other possibility to ignore |
drchase@6680 | 277 | // these warnings for older versions of GCC, we simply don't decorate our printf-style |
drchase@6680 | 278 | // functions with __attribute__(format) in that case. |
drchase@6680 | 279 | #if ((__GNUC__ == 4) && (__GNUC_MINOR__ >= 2)) || (__GNUC__ > 4) |
drchase@6680 | 280 | #define ATTRIBUTE_PRINTF(fmt,vargs) __attribute__((format(printf, fmt, vargs))) |
drchase@6680 | 281 | #else |
drchase@6680 | 282 | #define ATTRIBUTE_PRINTF(fmt,vargs) |
drchase@6680 | 283 | #endif |
drchase@6680 | 284 | #endif |
drchase@6680 | 285 | |
drchase@6680 | 286 | #define PRAGMA_FORMAT_NONLITERAL_IGNORED _Pragma("GCC diagnostic ignored \"-Wformat-nonliteral\"") \ |
drchase@6680 | 287 | _Pragma("GCC diagnostic ignored \"-Wformat-security\"") |
drchase@6680 | 288 | #define PRAGMA_FORMAT_IGNORED _Pragma("GCC diagnostic ignored \"-Wformat\"") |
drchase@6680 | 289 | |
drchase@6680 | 290 | #if defined(__clang_major__) && \ |
drchase@6680 | 291 | (__clang_major__ >= 4 || \ |
drchase@6680 | 292 | (__clang_major__ >= 3 && __clang_minor__ >= 1)) || \ |
drchase@6680 | 293 | ((__GNUC__ == 4) && (__GNUC_MINOR__ >= 6)) || (__GNUC__ > 4) |
drchase@6680 | 294 | // Tested to work with clang version 3.1 and better. |
drchase@6680 | 295 | #define PRAGMA_DIAG_PUSH _Pragma("GCC diagnostic push") |
drchase@6680 | 296 | #define PRAGMA_DIAG_POP _Pragma("GCC diagnostic pop") |
drchase@6680 | 297 | #define PRAGMA_FORMAT_NONLITERAL_IGNORED_EXTERNAL |
drchase@6680 | 298 | #define PRAGMA_FORMAT_NONLITERAL_IGNORED_INTERNAL PRAGMA_FORMAT_NONLITERAL_IGNORED |
drchase@6680 | 299 | |
drchase@6680 | 300 | // Hack to deal with gcc yammering about non-security format stuff |
drchase@6680 | 301 | #else |
drchase@6680 | 302 | // Old versions of gcc don't do push/pop, also do not cope with this pragma within a function |
drchase@6680 | 303 | // One method does so much varied printing that it is decorated with both internal and external |
drchase@6680 | 304 | // versions of the macro-pragma to obtain better checking with newer compilers. |
drchase@6680 | 305 | #define PRAGMA_DIAG_PUSH |
drchase@6680 | 306 | #define PRAGMA_DIAG_POP |
drchase@6680 | 307 | #define PRAGMA_FORMAT_NONLITERAL_IGNORED_EXTERNAL PRAGMA_FORMAT_NONLITERAL_IGNORED |
drchase@6680 | 308 | #define PRAGMA_FORMAT_NONLITERAL_IGNORED_INTERNAL |
drchase@6680 | 309 | #endif |
drchase@6680 | 310 | |
drchase@6680 | 311 | #ifndef __clang_major__ |
drchase@6680 | 312 | #define PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC _Pragma("GCC diagnostic ignored \"-Wformat\"") _Pragma("GCC diagnostic error \"-Wformat-nonliteral\"") _Pragma("GCC diagnostic error \"-Wformat-security\"") |
drchase@6680 | 313 | #endif |
drchase@6680 | 314 | |
duke@435 | 315 | #if (__GNUC__ == 2) && (__GNUC_MINOR__ < 95) |
duke@435 | 316 | #define TEMPLATE_TABLE_BUG |
duke@435 | 317 | #endif |
duke@435 | 318 | #if (__GNUC__ == 2) && (__GNUC_MINOR__ >= 96) |
duke@435 | 319 | #define CONST_SDM_BUG |
duke@435 | 320 | #endif |
duke@435 | 321 | |
duke@435 | 322 | // Formatting. |
duke@435 | 323 | #ifdef _LP64 |
duke@435 | 324 | #define FORMAT64_MODIFIER "l" |
duke@435 | 325 | #else // !_LP64 |
duke@435 | 326 | #define FORMAT64_MODIFIER "ll" |
duke@435 | 327 | #endif // _LP64 |
duke@435 | 328 | |
duke@435 | 329 | // HACK: gcc warns about applying offsetof() to non-POD object or calculating |
duke@435 | 330 | // offset directly when base address is NULL. Use 16 to get around the |
duke@435 | 331 | // warning. gcc-3.4 has an option -Wno-invalid-offsetof to suppress |
duke@435 | 332 | // this warning. |
duke@435 | 333 | #define offset_of(klass,field) (size_t)((intx)&(((klass*)16)->field) - 16) |
duke@435 | 334 | |
duke@435 | 335 | #ifdef offsetof |
duke@435 | 336 | # undef offsetof |
duke@435 | 337 | #endif |
duke@435 | 338 | #define offsetof(klass,field) offset_of(klass,field) |
stefank@2314 | 339 | |
hseigel@4465 | 340 | #if defined(_LP64) && defined(__APPLE__) |
hseigel@4465 | 341 | #define JLONG_FORMAT "%ld" |
hseigel@4465 | 342 | #endif // _LP64 && __APPLE__ |
hseigel@4465 | 343 | |
stefank@2314 | 344 | #endif // SHARE_VM_UTILITIES_GLOBALDEFINITIONS_GCC_HPP |