This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
[v3] assert consolidation
- From: Benjamin Kosnik <bkoz at redhat dot com>
- To: libstdc++ at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
- Date: Mon, 15 Dec 2008 16:38:20 -0800
- Subject: [v3] assert consolidation
Moves __replacement_assert into top-level, uses __builtin_printf,
changes debug and parallel assert macros to use this top-level
definition, and changes atomic asserts to use this if -D_GLIBCXX_DEBUG.
This is the minimal version. At some point after the branch,
_GLIBCXX_PARALLEL_ASSERT and _GLIBCXX_DEBUG_ASSERT can get renamed to
__glibcxx_assert.
tested x86_64/linux
tested x86_64/linux parallel
tested x86/darwin
-benjamin
2008-12-15 Benjamin Kosnik <bkoz@redhat.com>
* include/c_global/cstdatomic: Remove assert include.
* include/debug/debug.h: Consolidate __replacement_assert...
* include/parallel/base.h: Consolidate __replacement_assert...
* include/bits/c++config: ...here.
* include/bits/atomic_0.h: Use it.
* include/bits/atomic_2.h: Same.
* testsuite/29_atomics/atomic/cons/assign_neg.cc: Adjust line numbers.
* testsuite/29_atomics/atomic/cons/copy_neg.cc: Same.
Index: include/debug/debug.h
===================================================================
--- include/debug/debug.h (revision 142772)
+++ include/debug/debug.h (working copy)
@@ -86,34 +86,10 @@
#else
-# include <cstdio>
# include <debug/macros.h>
-namespace std
-{
- namespace __debug
- {
- // Avoid the use of assert, because we're trying to keep the <cassert>
- // include out of the mix.
- inline void
- __replacement_assert(const char* __file, int __line,
- const char* __function, const char* __condition)
- {
- printf("%s:%d: %s: Assertion '%s' failed.\n", __file, __line,
- __function, __condition);
- __builtin_abort();
- }
- } // namespace __debug
-} // namespace std
+#define _GLIBCXX_DEBUG_ASSERT(_Condition) __glibcxx_assert(_Condition)
-#define _GLIBCXX_DEBUG_ASSERT(_Condition) \
- do \
- { \
- if (! (_Condition)) \
- std::__debug::__replacement_assert(__FILE__, __LINE__, \
- __PRETTY_FUNCTION__, #_Condition); \
- } while (false)
-
#ifdef _GLIBCXX_DEBUG_PEDANTIC
# define _GLIBCXX_DEBUG_PEDASSERT(_Condition) _GLIBCXX_DEBUG_ASSERT(_Condition)
#else
Index: include/parallel/base.h
===================================================================
--- include/parallel/base.h (revision 142772)
+++ include/parallel/base.h (working copy)
@@ -38,7 +38,6 @@
#ifndef _GLIBCXX_PARALLEL_BASE_H
#define _GLIBCXX_PARALLEL_BASE_H 1
-#include <cstdio>
#include <functional>
#include <omp.h>
#include <parallel/features.h>
@@ -471,25 +470,8 @@
}
}
-// Avoid the use of assert, because we're trying to keep the <cassert>
-// include out of the mix. (Same as debug mode).
-inline void
-__replacement_assert(const char* __file, int __line,
- const char* __function, const char* __condition)
-{
- std::printf("%s:%d: %s: Assertion '%s' failed.\n", __file, __line,
- __function, __condition);
- __builtin_abort();
-}
+#define _GLIBCXX_PARALLEL_ASSERT(_Condition) __glibcxx_assert(_Condition)
-#define _GLIBCXX_PARALLEL_ASSERT(_Condition) \
-do \
- { \
- if (!(_Condition)) \
- __gnu_parallel::__replacement_assert(__FILE__, __LINE__, \
- __PRETTY_FUNCTION__, #_Condition); \
- } while (false)
-
} //namespace __gnu_parallel
#endif /* _GLIBCXX_PARALLEL_BASE_H */
Index: include/bits/atomic_0.h
===================================================================
--- include/bits/atomic_0.h (revision 142772)
+++ include/bits/atomic_0.h (working copy)
@@ -124,17 +124,17 @@
void
store(void* __v, memory_order __m = memory_order_seq_cst) volatile
{
- // XXX
- //if (__m != memory_order_acquire && __m != memory_order_acq_rel
- // && __m != memory_order_consume)
+ __glibcxx_assert(__m == memory_order_acquire);
+ __glibcxx_assert(__m == memory_order_acq_rel);
+ __glibcxx_assert(__m == memory_order_consume);
_ATOMIC_STORE_(this, __v, __m);
}
void*
load(memory_order __m = memory_order_seq_cst) const volatile
{
- // XXX
- //if (__m != memory_order_release && __m != memory_order_acq_rel)
+ __glibcxx_assert(__m == memory_order_release);
+ __glibcxx_assert(__m == memory_order_acq_rel);
return _ATOMIC_LOAD_(this, __m);
}
@@ -146,11 +146,10 @@
compare_exchange_weak(void*& __v1, void* __v2, memory_order __m1,
memory_order __m2) volatile
{
- bool __ret = false;
- if (__m2 != memory_order_release && __m2 != memory_order_acq_rel
- && __m2 <= __m1)
- __ret = _ATOMIC_CMPEXCHNG_(this, &__v1, __v2, __m1);
- return __ret;
+ __glibcxx_assert(__m2 == memory_order_release);
+ __glibcxx_assert(__m2 == memory_order_acq_rel);
+ __glibcxx_assert(__m2 <= __m1);
+ return _ATOMIC_CMPEXCHNG_(this, &__v1, __v2, __m1);
}
bool
@@ -165,11 +164,10 @@
compare_exchange_strong(void*& __v1, void* __v2, memory_order __m1,
memory_order __m2) volatile
{
- bool __ret = false;
- if (__m2 != memory_order_release && __m2 != memory_order_acq_rel
- && __m2 <= __m1)
- __ret = _ATOMIC_CMPEXCHNG_(this, &__v1, __v2, __m1);
- return __ret;
+ __glibcxx_assert(__m2 == memory_order_release);
+ __glibcxx_assert(__m2 == memory_order_acq_rel);
+ __glibcxx_assert(__m2 <= __m1);
+ return _ATOMIC_CMPEXCHNG_(this, &__v1, __v2, __m1);
}
bool
@@ -317,16 +315,17 @@
store(__integral_type __i,
memory_order __m = memory_order_seq_cst) volatile
{
- // XXX
- //if (__m != memory_order_acquire && __m != memory_order_acq_rel
- // && __m != memory_order_consume)
+ __glibcxx_assert(__m == memory_order_acquire);
+ __glibcxx_assert(__m == memory_order_acq_rel);
+ __glibcxx_assert(__m == memory_order_consume);
_ATOMIC_STORE_(this, __i, __m);
}
__integral_type
load(memory_order __m = memory_order_seq_cst) const volatile
{
- // if (__m != memory_order_release && __m != memory_order_acq_rel)
+ __glibcxx_assert(__m == memory_order_release);
+ __glibcxx_assert(__m == memory_order_acq_rel);
return _ATOMIC_LOAD_(this, __m);
}
@@ -339,11 +338,10 @@
compare_exchange_weak(__integral_type& __i1, __integral_type __i2,
memory_order __m1, memory_order __m2) volatile
{
- bool __ret = false;
- if (__m2 != memory_order_release && __m2 != memory_order_acq_rel
- && __m2 <= __m1)
- __ret = _ATOMIC_CMPEXCHNG_(this, &__i1, __i2, __m1);
- return __ret;
+ __glibcxx_assert(__m2 == memory_order_release);
+ __glibcxx_assert(__m2 == memory_order_acq_rel);
+ __glibcxx_assert(__m2 <= __m1);
+ return _ATOMIC_CMPEXCHNG_(this, &__i1, __i2, __m1);
}
bool
@@ -358,11 +356,10 @@
compare_exchange_strong(__integral_type& __i1, __integral_type __i2,
memory_order __m1, memory_order __m2) volatile
{
- bool __ret = false;
- if (__m2 != memory_order_release && __m2 != memory_order_acq_rel
- && __m2 <= __m1)
- __ret = _ATOMIC_CMPEXCHNG_(this, &__i1, __i2, __m1);
- return __ret;
+ __glibcxx_assert(__m2 == memory_order_release);
+ __glibcxx_assert(__m2 == memory_order_acq_rel);
+ __glibcxx_assert(__m2 <= __m1);
+ return _ATOMIC_CMPEXCHNG_(this, &__i1, __i2, __m1);
}
bool
Index: include/bits/atomic_2.h
===================================================================
--- include/bits/atomic_2.h (revision 142772)
+++ include/bits/atomic_2.h (working copy)
@@ -98,9 +98,9 @@
void
store(void* __v, memory_order __m = memory_order_seq_cst) volatile
{
- assert(__m == memory_order_acquire);
- assert(__m == memory_order_acq_rel);
- assert(__m == memory_order_consume);
+ __glibcxx_assert(__m == memory_order_acquire);
+ __glibcxx_assert(__m == memory_order_acq_rel);
+ __glibcxx_assert(__m == memory_order_consume);
if (__m == memory_order_relaxed)
_M_i = __v;
@@ -116,8 +116,8 @@
void*
load(memory_order __m = memory_order_seq_cst) const volatile
{
- assert(__m == memory_order_release);
- assert(__m == memory_order_acq_rel);
+ __glibcxx_assert(__m == memory_order_release);
+ __glibcxx_assert(__m == memory_order_acq_rel);
__sync_synchronize();
void* __ret = _M_i;
@@ -149,9 +149,9 @@
compare_exchange_strong(void*& __v1, void* __v2, memory_order __m1,
memory_order __m2) volatile
{
- assert(__m2 == memory_order_release);
- assert(__m2 == memory_order_acq_rel);
- assert(__m2 <= __m1);
+ __glibcxx_assert(__m2 == memory_order_release);
+ __glibcxx_assert(__m2 == memory_order_acq_rel);
+ __glibcxx_assert(__m2 <= __m1);
void* __v1o = __v1;
void* __v1n = __sync_val_compare_and_swap(&_M_i, __v1o, __v2);
@@ -289,9 +289,9 @@
store(__integral_type __i,
memory_order __m = memory_order_seq_cst) volatile
{
- assert(__m == memory_order_acquire);
- assert(__m == memory_order_acq_rel);
- assert(__m == memory_order_consume);
+ __glibcxx_assert(__m == memory_order_acquire);
+ __glibcxx_assert(__m == memory_order_acq_rel);
+ __glibcxx_assert(__m == memory_order_consume);
if (__m == memory_order_relaxed)
_M_i = __i;
@@ -307,8 +307,8 @@
__integral_type
load(memory_order __m = memory_order_seq_cst) const volatile
{
- assert(__m == memory_order_release);
- assert(__m == memory_order_acq_rel);
+ __glibcxx_assert(__m == memory_order_release);
+ __glibcxx_assert(__m == memory_order_acq_rel);
__sync_synchronize();
__integral_type __ret = _M_i;
@@ -341,9 +341,9 @@
compare_exchange_strong(__integral_type& __i1, __integral_type __i2,
memory_order __m1, memory_order __m2) volatile
{
- assert(__m2 == memory_order_release);
- assert(__m2 == memory_order_acq_rel);
- assert(__m2 <= __m1);
+ __glibcxx_assert(__m2 == memory_order_release);
+ __glibcxx_assert(__m2 == memory_order_acq_rel);
+ __glibcxx_assert(__m2 <= __m1);
__integral_type __i1o = __i1;
__integral_type __i1n = __sync_val_compare_and_swap(&_M_i, __i1o, __i2);
Index: include/bits/c++config
===================================================================
--- include/bits/c++config (revision 142772)
+++ include/bits/c++config (working copy)
@@ -271,6 +271,34 @@
# define _GLIBCXX_WEAK_DEFINITION
#endif
+// Assert.
+// Avoid the use of assert, because we're trying to keep the <cassert>
+// include out of the mix.
+#if !defined(_GLIBCXX_DEBUG) && !defined(_GLIBCXX_PARALLEL)
+#define __glibcxx_assert(_Condition)
+#else
+_GLIBCXX_BEGIN_NAMESPACE(std)
+ // Avoid the use of assert, because we're trying to keep the <cassert>
+ // include out of the mix.
+ inline void
+ __replacement_assert(const char* __file, int __line,
+ const char* __function, const char* __condition)
+ {
+ __builtin_printf("%s:%d: %s: Assertion '%s' failed.\n", __file, __line,
+ __function, __condition);
+ __builtin_abort();
+ }
+_GLIBCXX_END_NAMESPACE
+
+#define __glibcxx_assert(_Condition) \
+ do \
+ { \
+ if (! (_Condition)) \
+ std::__replacement_assert(__FILE__, __LINE__, \
+ __PRETTY_FUNCTION__, #_Condition); \
+ } while (false)
+#endif
+
// The remainder of the prewritten config is automatic; all the
// user hooks are listed above.
Index: include/c_global/cstdatomic
===================================================================
--- include/c_global/cstdatomic (revision 142772)
+++ include/c_global/cstdatomic (working copy)
@@ -52,7 +52,6 @@
#include <stdatomic.h>
#include <cstddef>
-#include <cassert> // XXX static_assert vs. constant-expression PR38502
_GLIBCXX_BEGIN_NAMESPACE(std)
Index: testsuite/29_atomics/atomic/cons/assign_neg.cc
===================================================================
--- testsuite/29_atomics/atomic/cons/assign_neg.cc (revision 142772)
+++ testsuite/29_atomics/atomic/cons/assign_neg.cc (working copy)
@@ -39,19 +39,19 @@
}
// { dg-error "used here" "" { target *-*-* } 510 }
-// { dg-error "deleted function" "" { target *-*-* } 240 }
-// { dg-error "deleted function" "" { target *-*-* } 258 }
-// { dg-error "deleted function" "" { target *-*-* } 276 }
-// { dg-error "deleted function" "" { target *-*-* } 294 }
-// { dg-error "deleted function" "" { target *-*-* } 312 }
-// { dg-error "deleted function" "" { target *-*-* } 330 }
-// { dg-error "deleted function" "" { target *-*-* } 348 }
-// { dg-error "deleted function" "" { target *-*-* } 366 }
-// { dg-error "deleted function" "" { target *-*-* } 384 }
-// { dg-error "deleted function" "" { target *-*-* } 402 }
-// { dg-error "deleted function" "" { target *-*-* } 420 }
-// { dg-error "deleted function" "" { target *-*-* } 438 }
-// { dg-error "deleted function" "" { target *-*-* } 456 }
-// { dg-error "deleted function" "" { target *-*-* } 474 }
-// { dg-error "deleted function" "" { target *-*-* } 492 }
+// { dg-error "deleted function" "" { target *-*-* } 239 }
+// { dg-error "deleted function" "" { target *-*-* } 257 }
+// { dg-error "deleted function" "" { target *-*-* } 275 }
+// { dg-error "deleted function" "" { target *-*-* } 293 }
+// { dg-error "deleted function" "" { target *-*-* } 311 }
+// { dg-error "deleted function" "" { target *-*-* } 329 }
+// { dg-error "deleted function" "" { target *-*-* } 347 }
+// { dg-error "deleted function" "" { target *-*-* } 365 }
+// { dg-error "deleted function" "" { target *-*-* } 383 }
+// { dg-error "deleted function" "" { target *-*-* } 401 }
+// { dg-error "deleted function" "" { target *-*-* } 419 }
+// { dg-error "deleted function" "" { target *-*-* } 437 }
+// { dg-error "deleted function" "" { target *-*-* } 455 }
+// { dg-error "deleted function" "" { target *-*-* } 473 }
+// { dg-error "deleted function" "" { target *-*-* } 491 }
// { dg-excess-errors "In member function" }
Index: testsuite/29_atomics/atomic/cons/copy_neg.cc
===================================================================
--- testsuite/29_atomics/atomic/cons/copy_neg.cc (revision 142772)
+++ testsuite/29_atomics/atomic/cons/copy_neg.cc (working copy)
@@ -39,19 +39,19 @@
}
// { dg-error "used here" "" { target *-*-* } 549 }
-// { dg-error "deleted function" "" { target *-*-* } 239 }
-// { dg-error "deleted function" "" { target *-*-* } 257 }
-// { dg-error "deleted function" "" { target *-*-* } 275 }
-// { dg-error "deleted function" "" { target *-*-* } 293 }
-// { dg-error "deleted function" "" { target *-*-* } 311 }
-// { dg-error "deleted function" "" { target *-*-* } 329 }
-// { dg-error "deleted function" "" { target *-*-* } 347 }
-// { dg-error "deleted function" "" { target *-*-* } 365 }
-// { dg-error "deleted function" "" { target *-*-* } 383 }
-// { dg-error "deleted function" "" { target *-*-* } 401 }
-// { dg-error "deleted function" "" { target *-*-* } 419 }
-// { dg-error "deleted function" "" { target *-*-* } 437 }
-// { dg-error "deleted function" "" { target *-*-* } 455 }
-// { dg-error "deleted function" "" { target *-*-* } 473 }
-// { dg-error "deleted function" "" { target *-*-* } 491 }
+// { dg-error "deleted function" "" { target *-*-* } 238 }
+// { dg-error "deleted function" "" { target *-*-* } 256 }
+// { dg-error "deleted function" "" { target *-*-* } 274 }
+// { dg-error "deleted function" "" { target *-*-* } 292 }
+// { dg-error "deleted function" "" { target *-*-* } 310 }
+// { dg-error "deleted function" "" { target *-*-* } 328 }
+// { dg-error "deleted function" "" { target *-*-* } 346 }
+// { dg-error "deleted function" "" { target *-*-* } 364 }
+// { dg-error "deleted function" "" { target *-*-* } 382 }
+// { dg-error "deleted function" "" { target *-*-* } 400 }
+// { dg-error "deleted function" "" { target *-*-* } 418 }
+// { dg-error "deleted function" "" { target *-*-* } 436 }
+// { dg-error "deleted function" "" { target *-*-* } 454 }
+// { dg-error "deleted function" "" { target *-*-* } 472 }
+// { dg-error "deleted function" "" { target *-*-* } 490 }
// { dg-excess-errors "In member function" }