Add rvalue ref overloads

Author: lucic71

rules/iterator_category/src.cpp

@@ -132,16 +132,18 @@ decltype(*std::declval<const T1 &>()) f5(const T1 &a0) {
 }
 
 template <
-    typename T1, typename T2 = typename std::iterator_traits<T1>::value_type,
+    typename T3, typename T1 = typename std::remove_reference<T3>::type,
+    typename T2 = typename std::iterator_traits<T1>::value_type,
     typename = typename std::enable_if<
         (std::is_base_of<
              std::input_iterator_tag,
              typename std::iterator_traits<T1>::iterator_category>::value ||
          std::is_base_of<
              std::output_iterator_tag,
              typename std::iterator_traits<T1>::iterator_category>::value) &&
-        !std::is_pointer<T1>::value>::type>
-T1 &f6(T1 &a0) {
+        !std::is_pointer<T1>::value &&
+        std::is_lvalue_reference<T3>::value>::type>
+T1 &f6(T3 &&a0) {
   return ++a0;
 }
 
@@ -192,14 +194,15 @@ bool f10(const T1 &a0, const T1 &a1) {
   return a0 != a1;
 }
 
-template <
-    typename T1, typename T2 = typename std::iterator_traits<T1>::value_type,
-    typename = typename std::enable_if<
-        std::is_base_of<
-            std::bidirectional_iterator_tag,
-            typename std::iterator_traits<T1>::iterator_category>::value &&
-        !std::is_pointer<T1>::value>::type>
-T1 &f11(T1 &a0) {
+template <typename T3, typename T1 = typename std::remove_reference<T3>::type,
+          typename T2 = typename std::iterator_traits<T1>::value_type,
+          typename = typename std::enable_if<
+              std::is_base_of<std::bidirectional_iterator_tag,
+                              typename std::iterator_traits<
+                                  T1>::iterator_category>::value &&
+              !std::is_pointer<T1>::value &&
+              std::is_lvalue_reference<T3>::value>::type>
+T1 &f11(T3 &&a0) {
   return --a0;
 }
 
@@ -357,3 +360,30 @@ template <
 T1 f24(const T2 &a0) {
   return T1(a0);
 }
+
+template <
+    typename T3, typename T1 = typename std::remove_reference<T3>::type,
+    typename T2 = typename std::iterator_traits<T1>::value_type,
+    typename = typename std::enable_if<
+        (std::is_base_of<
+             std::input_iterator_tag,
+             typename std::iterator_traits<T1>::iterator_category>::value ||
+         std::is_base_of<
+             std::output_iterator_tag,
+             typename std::iterator_traits<T1>::iterator_category>::value) &&
+        !std::is_pointer<T1>::value && !std::is_reference<T3>::value>::type>
+T1 &f25(T3 &&a0) {
+  return ++a0;
+}
+
+template <
+    typename T3, typename T1 = typename std::remove_reference<T3>::type,
+    typename T2 = typename std::iterator_traits<T1>::value_type,
+    typename = typename std::enable_if<
+        std::is_base_of<
+            std::bidirectional_iterator_tag,
+            typename std::iterator_traits<T1>::iterator_category>::value &&
+        !std::is_pointer<T1>::value && !std::is_reference<T3>::value>::type>
+T1 &f26(T3 &&a0) {
+  return --a0;
+}

rules/iterator_category/tgt_refcount.rs

@@ -118,3 +118,13 @@ fn f23<T1: CppRandomAccessIterator<T2>, T2>(a0: T1, a1: T1) -> bool {
 fn f24<T1: From<T2>, T2>(a0: T2) -> T1 {
     <T1>::from(a0)
 }
+
+fn f25<T1: CppIterator<T2>, T2>(a0: T1) -> T1 {
+    let mut __it = a0;
+    __it.iter_inc()
+}
+
+fn f26<T1: CppBidirectionalIterator<T2>, T2>(a0: T1) -> T1 {
+    let mut __it = a0;
+    __it.iter_dec()
+}

rules/iterator_category/tgt_unsafe.rs

@@ -118,3 +118,13 @@ unsafe fn f23<T1: UnsafeCppRandomAccessIterator<T2>, T2>(a0: T1, a1: T1) -> bool
 unsafe fn f24<T1: From<T2>, T2>(a0: T2) -> T1 {
     <T1>::from(a0)
 }
+
+unsafe fn f25<T1: UnsafeCppIterator<T2>, T2>(a0: T1) -> T1 {
+    let mut __it = a0;
+    __it.iter_inc()
+}
+
+unsafe fn f26<T1: UnsafeCppBidirectionalIterator<T2>, T2>(a0: T1) -> T1 {
+    let mut __it = a0;
+    __it.iter_dec()
+}