Index: libcfa/src/concurrency/coroutine.cfa
===================================================================
--- libcfa/src/concurrency/coroutine.cfa	(revision deca0f54cfb65fe7ba96231b54e8f4c6be2201cc)
+++ libcfa/src/concurrency/coroutine.cfa	(revision ffe2fad44a1e0e5936b3a5eb325178f2f44fcf5f)
@@ -70,5 +70,7 @@
 	bool userStack = ((intptr_t)this.storage & 0x1) != 0;
 	if ( ! userStack && this.storage ) {
-		*((intptr_t*)&this.storage) &= (intptr_t)-1;
+		__attribute__((may_alias)) intptr_t * istorage = (intptr_t *)&this.storage;
+		*istorage &= (intptr_t)-1;
+
 		void * storage = this.storage->limit;
 		__cfaabi_dbg_debug_do(
@@ -174,5 +176,6 @@
 	this->storage->limit = storage;
 	this->storage->base  = (void*)((intptr_t)storage + size);
-	*((intptr_t*)&this->storage) |= userStack ? 0x1 : 0x0;
+	__attribute__((may_alias)) intptr_t * istorage = (intptr_t*)&this->storage;
+	*istorage |= userStack ? 0x1 : 0x0;
 }
 
Index: libcfa/src/concurrency/invoke.h
===================================================================
--- libcfa/src/concurrency/invoke.h	(revision deca0f54cfb65fe7ba96231b54e8f4c6be2201cc)
+++ libcfa/src/concurrency/invoke.h	(revision ffe2fad44a1e0e5936b3a5eb325178f2f44fcf5f)
@@ -199,7 +199,7 @@
 	#ifdef __cforall
 	extern "Cforall" {
-		static inline struct coroutine_desc * volatile active_coroutine() { return TL_GET( this_thread )->curr_cor; }
-		static inline struct thread_desc    * volatile active_thread   () { return TL_GET( this_thread    ); }
-		static inline struct processor      * volatile active_processor() { return TL_GET( this_processor ); } // UNSAFE
+		static inline struct coroutine_desc * active_coroutine() { return TL_GET( this_thread )->curr_cor; }
+		static inline struct thread_desc    * active_thread   () { return TL_GET( this_thread    ); }
+		static inline struct processor      * active_processor() { return TL_GET( this_processor ); } // UNSAFE
 
 		static inline thread_desc * & get_next( thread_desc & this ) {
Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision deca0f54cfb65fe7ba96231b54e8f4c6be2201cc)
+++ libcfa/src/concurrency/kernel.cfa	(revision ffe2fad44a1e0e5936b3a5eb325178f2f44fcf5f)
@@ -165,5 +165,6 @@
 		base      = info->base;
 	}
-	*((intptr_t*)&stack.storage) |= 0x1;
+	__attribute__((may_alias)) intptr_t * istorage = (intptr_t*) &stack.storage;
+	*istorage |= 0x1;
 	name = "Main Thread";
 	state = Start;