debug.h (__glibcxx_requires_can_increment_range): New.

2018-06-13  François Dumont  <fdumont@gcc.gnu.org>

	* include/debug/debug.h (__glibcxx_requires_can_increment_range): New.
	(__glibcxx_requires_can_decrement_range): New.

From-SVN: r261537

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 813e7d2f96637637858345fd4bde096f1bc5f1fc..c8510608354e5b1fed7ed122a1eaa583beb9aa5b 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,9 +1,12 @@
+2018-06-13  François Dumont  <fdumont@gcc.gnu.org>
+
+       * include/debug/debug.h (__glibcxx_requires_can_increment_range): New.
+       (__glibcxx_requires_can_decrement_range): New.
+
 2018-06-12  François Dumont  <fdumont@gcc.gnu.org>
 
        * include/debug/macros.h (__glibcxx_check_can_increment_range): New.
        (__glibcxx_check_can_decrement_range): New.
-       * include/debug/debug.h (__glibcxx_requires_can_increment_range): New.
-       (__glibcxx_requires_can_decrement_range): New.
        * include/bits/stl_algobase.h (std::copy(_II, _II, _OI)): Use
        __glibcxx_requires_can_increment_range.
        (std::move(_II, _II, _OI)): Likewise.

diff --git a/libstdc++-v3/include/debug/debug.h b/libstdc++-v3/include/debug/debug.h
index 9ff5e3a9711a3a7d946d58ca42a55c24370a438f..d055dcb1d9a1e33051771293aef3e77a476fbad3 100644 (file)
--- a/libstdc++-v3/include/debug/debug.h
+++ b/libstdc++-v3/include/debug/debug.h
@@ -62,6 +62,8 @@ namespace __gnu_debug
 
 # define __glibcxx_requires_cond(_Cond,_Msg)
 # define __glibcxx_requires_valid_range(_First,_Last)
+# define __glibcxx_requires_can_increment_range(_First1,_Last1,_First2)
+# define __glibcxx_requires_can_decrement_range(_First1,_Last1,_First2)
 # define __glibcxx_requires_sorted(_First,_Last)
 # define __glibcxx_requires_sorted_pred(_First,_Last,_Pred)
 # define __glibcxx_requires_sorted_set(_First1,_Last1,_First2)
@@ -86,6 +88,10 @@ namespace __gnu_debug
 # define __glibcxx_requires_cond(_Cond,_Msg) _GLIBCXX_DEBUG_VERIFY(_Cond,_Msg)
 # define __glibcxx_requires_valid_range(_First,_Last)  \
   __glibcxx_check_valid_range(_First,_Last)
+# define __glibcxx_requires_can_increment_range(_First1,_Last1,_First2)        \
+  __glibcxx_check_can_increment_range(_First1,_Last1,_First2)
+# define __glibcxx_requires_can_decrement_range(_First1,_Last1,_First2)        \
+  __glibcxx_check_can_decrement_range(_First1,_Last1,_First2)
 # define __glibcxx_requires_sorted(_First,_Last)       \
   __glibcxx_check_sorted(_First,_Last)
 # define __glibcxx_requires_sorted_pred(_First,_Last,_Pred)    \