include/uk: Introduce macro for may_alias attribute

This attribute allows to opt-out of the standard C strict aliasing rule.

Signed-off-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Reviewed-by: Rares Miculescu <miculescur@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GiHub-Closes: #1076

diff --git a/include/uk/essentials.h b/include/uk/essentials.h
index 43c7ed30f42917c4786180ac8140050cd049c8ab..22b8ae518ff79cb225ccf89c2b70c9c4e0eae026 100644 (file)
--- a/include/uk/essentials.h
+++ b/include/uk/essentials.h
@@ -99,6 +99,9 @@ extern "C" {
 #ifndef __check_result
 #define __check_result         __attribute__((warn_unused_result))
 #endif
+#ifndef __may_alias
+#define __may_alias            __attribute__((may_alias))
+#endif
 
 #ifndef __alias
 #define __alias(old, new) \