Update copyright dates with scripts/update-copyrights.

[thirdparty/glibc.git] / assert / assert.h

diff --git a/assert/assert.h b/assert/assert.h
index 9908d4176a2961f6d56759fe3bafc6299ef58726..266ee92e3fb5292b3813cd6607df60b3880dbf5c 100644 (file)
--- a/assert/assert.h
+++ b/assert/assert.h
@@ -1,4 +1,4 @@
-/* Copyright (C) 1991,1992,1994-2001,2003 Free Software Foundation, Inc.
+/* Copyright (C) 1991-2020 Free Software Foundation, Inc.
    This file is part of the GNU C Library.
 
    The GNU C Library is free software; you can redistribute it and/or
@@ -12,9 +12,8 @@
    Lesser General Public License for more details.
 
    You should have received a copy of the GNU Lesser General Public
-   License along with the GNU C Library; if not, write to the Free
-   Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
-   02111-1307 USA.  */
+   License along with the GNU C Library; if not, see
+   <https://www.gnu.org/licenses/>.  */
 
 /*
  *     ISO C99 Standard: 7.2 Diagnostics       <assert.h>
@@ -65,14 +64,13 @@
 __BEGIN_DECLS
 
 /* This prints an "Assertion failed" message and aborts.  */
-extern void __assert_fail (__const char *__assertion, __const char *__file,
-                          unsigned int __line, __const char *__function)
+extern void __assert_fail (const char *__assertion, const char *__file,
+                          unsigned int __line, const char *__function)
      __THROW __attribute__ ((__noreturn__));
 
 /* Likewise, but prints the error text for ERRNUM.  */
-extern void __assert_perror_fail (int __errnum, __const char *__file,
-                                 unsigned int __line,
-                                 __const char *__function)
+extern void __assert_perror_fail (int __errnum, const char *__file,
+                                 unsigned int __line, const char *__function)
      __THROW __attribute__ ((__noreturn__));
 
 
@@ -84,33 +82,39 @@ extern void __assert (const char *__assertion, const char *__file, int __line)
 
 __END_DECLS
 
-/* For the macro definition we use gcc's __builtin_expect if possible
-   to generate good code for the non-error case.  gcc 3.0 is a good
-   enough estimate for when the feature became available.  */
-# if __GNUC_PREREQ (3, 0)
-#  define assert(expr) \
-  (__ASSERT_VOID_CAST (__builtin_expect (expr, 1) ? 0 :                              \
-                      (__assert_fail (__STRING(expr), __FILE__, __LINE__,    \
-                                      __ASSERT_FUNCTION), 0)))
+/* When possible, define assert so that it does not add extra
+   parentheses around EXPR.  Otherwise, those added parentheses would
+   suppress warnings we'd expect to be detected by gcc's -Wparentheses.  */
+# if defined __cplusplus
+#  define assert(expr)                                                 \
+     (static_cast <bool> (expr)                                                \
+      ? void (0)                                                       \
+      : __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))
+# elif !defined __GNUC__ || defined __STRICT_ANSI__
+#  define assert(expr)                                                 \
+    ((expr)                                                            \
+     ? __ASSERT_VOID_CAST (0)                                          \
+     : __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))
 # else
-#  define assert(expr) \
-  (__ASSERT_VOID_CAST ((expr) ? 0 :                                          \
-                      (__assert_fail (__STRING(expr), __FILE__, __LINE__,    \
-                                      __ASSERT_FUNCTION), 0)))
+/* The first occurrence of EXPR is not evaluated due to the sizeof,
+   but will trigger any pedantic warnings masked by the __extension__
+   for the second occurrence.  The ternary operator is required to
+   support function pointers and bit fields in this context, and to
+   suppress the evaluation of variable length arrays.  */
+#  define assert(expr)                                                 \
+  ((void) sizeof ((expr) ? 1 : 0), __extension__ ({                    \
+      if (expr)                                                                \
+        ; /* empty */                                                  \
+      else                                                             \
+        __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION);  \
+    }))
 # endif
 
 # ifdef        __USE_GNU
-#  if __GNUC_PREREQ (3, 0)
-#   define assert_perror(errnum) \
-  (__ASSERT_VOID_CAST (!(errnum) ? 0 :                                       \
-                      (__assert_perror_fail ((errnum), __FILE__, __LINE__,   \
-                                             __ASSERT_FUNCTION), 0)))
-#  else
-#   define assert_perror(errnum) \
-  (__ASSERT_VOID_CAST (__builtin_expect (!(errnum), 1) ? 0 :                 \
-                      (__assert_perror_fail ((errnum), __FILE__, __LINE__,   \
-                                             __ASSERT_FUNCTION), 0)))
-#  endif
+#  define assert_perror(errnum)                                                \
+  (!(errnum)                                                           \
+   ? __ASSERT_VOID_CAST (0)                                            \
+   : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))
 # endif
 
 /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
@@ -119,13 +123,19 @@ __END_DECLS
    C9x has a similar variable called __func__, but prefer the GCC one since
    it demangles C++ function names.  */
 # if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)
-#   define __ASSERT_FUNCTION   __PRETTY_FUNCTION__
+#   define __ASSERT_FUNCTION   __extension__ __PRETTY_FUNCTION__
 # else
 #  if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
 #   define __ASSERT_FUNCTION   __func__
 #  else
-#   define __ASSERT_FUNCTION   ((__const char *) 0)
+#   define __ASSERT_FUNCTION   ((const char *) 0)
 #  endif
 # endif
 
 #endif /* NDEBUG.  */
+
+
+#if defined __USE_ISOC11 && !defined __cplusplus
+# undef static_assert
+# define static_assert _Static_assert
+#endif