MdePkg: Add STATIC_ASSERT macro

[mirror_edk2.git] / MdePkg / Include / Base.h

diff --git a/MdePkg/Include/Base.h b/MdePkg/Include/Base.h
index 29db8a253e2f67d701308c3e98b0c065696f6d66..ec096133baafd40a17afc97bddc674af88e63b55 100644 (file)
--- a/MdePkg/Include/Base.h
+++ b/MdePkg/Include/Base.h
@@ -6,15 +6,9 @@
   environment. There are a set of base libraries in the Mde Package that can\r
   be used to implement base modules.\r
 \r
-Copyright (c) 2006 - 2017, Intel Corporation. All rights reserved.<BR>\r
+Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>\r
 Portions copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>\r
-This program and the accompanying materials\r
-are licensed and made available under the terms and conditions of the BSD License\r
-which accompanies this distribution.  The full text of the license may be found at\r
-http://opensource.org/licenses/bsd-license.php.\r
-\r
-THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
-WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+SPDX-License-Identifier: BSD-2-Clause-Patent\r
 \r
 **/\r
 \r
@@ -65,8 +59,8 @@ VERIFY_SIZE_OF (CHAR16, 2);
 \r
 //\r
 // The following three enum types are used to verify that the compiler\r
-// configuration for enum types is compliant with Section 2.3.1 of the \r
-// UEFI 2.3 Specification. These enum types and enum values are not \r
+// configuration for enum types is compliant with Section 2.3.1 of the\r
+// UEFI 2.3 Specification. These enum types and enum values are not\r
 // intended to be used. A prefix of '__' is used avoid conflicts with\r
 // other types.\r
 //\r
@@ -112,11 +106,10 @@ VERIFY_SIZE_OF (__VERIFY_UINT32_ENUM_SIZE, 4);
 // warnings.\r
 //\r
 #ifndef UNREACHABLE\r
-  #if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ > 4)\r
+  #ifdef __GNUC__\r
     ///\r
     /// Signal compilers and analyzers that this call is not reachable.  It is\r
     /// up to the compiler to remove any code past that point.\r
-    /// Not implemented by GCC 4.4 or earlier.\r
     ///\r
     #define UNREACHABLE()  __builtin_unreachable ()\r
   #elif defined (__has_feature)\r
@@ -396,6 +389,14 @@ struct _LIST_ENTRY {
 #define MAX_INT64   ((INT64)0x7FFFFFFFFFFFFFFFULL)\r
 #define MAX_UINT64  ((UINT64)0xFFFFFFFFFFFFFFFFULL)\r
 \r
+///\r
+/// Minimum values for the signed UEFI Data Types\r
+///\r
+#define MIN_INT8   (((INT8)  -127) - 1)\r
+#define MIN_INT16  (((INT16) -32767) - 1)\r
+#define MIN_INT32  (((INT32) -2147483647) - 1)\r
+#define MIN_INT64  (((INT64) -9223372036854775807LL) - 1)\r
+\r
 #define  BIT0     0x00000001\r
 #define  BIT1     0x00000002\r
 #define  BIT2     0x00000004\r
@@ -660,6 +661,18 @@ struct _LIST_ENTRY {
 \r
 #define VA_COPY(Dest, Start)          __va_copy (Dest, Start)\r
 \r
+#elif defined(_M_ARM) || defined(_M_ARM64)\r
+//\r
+// MSFT ARM variable argument list support.\r
+//\r
+\r
+typedef char* VA_LIST;\r
+\r
+#define VA_START(Marker, Parameter)     __va_start (&Marker, &Parameter, _INT_SIZE_OF (Parameter), __alignof(Parameter), &Parameter)\r
+#define VA_ARG(Marker, TYPE)            (*(TYPE *) ((Marker += _INT_SIZE_OF (TYPE) + ((-(INTN)Marker) & (sizeof(TYPE) - 1))) - _INT_SIZE_OF (TYPE)))\r
+#define VA_END(Marker)                  (Marker = (VA_LIST) 0)\r
+#define VA_COPY(Dest, Start)            ((void)((Dest) = (Start)))\r
+\r
 #elif defined(__GNUC__)\r
 \r
 #if defined(MDE_CPU_X64) && !defined(NO_MSABI_VA_FUNCS)\r
@@ -765,7 +778,7 @@ typedef CHAR8 *VA_LIST;
 \r
   This macro initializes Dest as a copy of Start, as if the VA_START macro had been applied to Dest\r
   followed by the same sequence of uses of the VA_ARG macro as had previously been used to reach\r
-  the present state of Start. \r
+  the present state of Start.\r
 \r
   @param   Dest   VA_LIST used to traverse the list of arguments.\r
   @param   Start  VA_LIST used to traverse the list of arguments.\r
@@ -830,6 +843,20 @@ typedef UINTN  *BASE_LIST;
 #define OFFSET_OF(TYPE, Field) ((UINTN) &(((TYPE *)0)->Field))\r
 #endif\r
 \r
+/**\r
+  Portable definition for compile time assertions.\r
+  Equivalent to C11 static_assert macro from assert.h.\r
+\r
+  @param  Expression  Boolean expression.\r
+  @param  Message     Raised compiler diagnostic message when expression is false.\r
+\r
+**/\r
+#ifdef _MSC_EXTENSIONS\r
+  #define STATIC_ASSERT static_assert\r
+#else\r
+  #define STATIC_ASSERT _Static_assert\r
+#endif\r
+\r
 /**\r
   Macro that returns a pointer to the data structure that contains a specified field of\r
   that data structure.  This is a lightweight method to hide information by placing a\r
@@ -849,7 +876,7 @@ typedef UINTN  *BASE_LIST;
   @return  A pointer to the structure from one of it's elements.\r
 \r
 **/\r
-#define BASE_CR(Record, TYPE, Field)  ((TYPE *) ((CHAR8 *) (Record) - (CHAR8 *) &(((TYPE *) 0)->Field)))\r
+#define BASE_CR(Record, TYPE, Field)  ((TYPE *) ((CHAR8 *) (Record) - OFFSET_OF (TYPE, Field)))\r
 \r
 /**\r
   Rounds a value up to the next boundary using a specified alignment.\r