[MLton-commit] r4506

[Matthew Fluet]

Add may_alias attribute
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c	2006-05-09 23:32:49 UTC (rev 4505)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c	2006-05-10 00:54:07 UTC (rev 4506)
@@ -66,7 +66,7 @@
   // "typedef void* Pointer;",
   // "typedef uintptr_t Pointer;",
   // "typedef unsigned char* Pointer;",
-  "struct PointerAux { unsigned char z[4]; } __attribute__ ((aligned (4)));",
+  "struct PointerAux { unsigned char z[4]; } __attribute__ ((aligned (4), may_alias));",
   "typedef struct PointerAux* Pointer;",
   "#define Array(t) Pointer",
   "#define Ref(t) Pointer",