runtime/util/pointer.h

   1 /* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  * Copyright (C) 1997-2000 NEC Research Institute.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  */
   8
   9 // typedef void* pointer;
  10 // typedef unsigned char* pointer;
  11 typedef unsigned char pointerAux __attribute__ ((may_alias));
  12 typedef pointerAux* pointer;
  13
  14 #if POINTER_BITS == 32
  15 #define FMTPTR "0x%08"PRIxPTR
  16 #elif POINTER_BITS == 64
  17 #define FMTPTR "0x%016"PRIxPTR
  18 #else
  19 #error POINTER_BITS undefined
  20 #endif
  21
  22 typedef const unsigned char* code_pointer;