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

libstdc++-v3/ChangeLog

+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.

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)	\