Keep default arguments the rule declares as parameters

Author: lucic71

cpp2rust/converter/rules/expr_matcher.cpp

@@ -143,7 +143,8 @@ clang::Expr *getObject(clang::ASTContext &ctx, clang::Expr *object) {
 }
 
 std::vector<clang::Expr *> getOperands(clang::ASTContext &ctx,
-                                       const clang::Expr *use) {
+                                       const clang::Expr *use,
+                                       unsigned arity = 0) {
   auto expr = const_cast<clang::Expr *>(RuleDecls::SkipImplicit(use));
   while (auto cast = llvm::dyn_cast<clang::ExplicitCastExpr>(expr)) {
     expr =
@@ -182,7 +183,7 @@ std::vector<clang::Expr *> getOperands(clang::ASTContext &ctx,
             ->IgnoreParenImpCasts();
     operands.push_back(getObject(ctx, base));
   }
-  while (!operands.empty() &&
+  while (operands.size() > arity &&
          llvm::isa<clang::CXXDefaultArgExpr>(operands.back())) {
     operands.pop_back();
   }
@@ -298,7 +299,7 @@ void checkCallable(clang::Sema &sema, const clang::Expr *use,
   }
   RuleDecls::Trial trial(sema);
   auto loc = use->getBeginLoc();
-  auto operands = getOperands(sema.Context, use);
+  auto operands = getOperands(sema.Context, use, rule->getNumParams());
   clang::OverloadCandidateSet set(loc, clang::OverloadCandidateSet::CSK_Normal);
   auto found = clang::DeclAccessPair::make(rule, clang::AS_public);
   if (auto tmpl = rule->getDescribedFunctionTemplate()) {
@@ -347,7 +348,8 @@ MatchResult matchTemplate(clang::Sema &sema, const clang::Expr *use,
   auto &ctx = sema.Context;
   auto explicit_args = getResultArgs(sema, rule, use);
   auto specialization =
-      deduce(sema, rule, explicit_args, getOperands(ctx, use));
+      deduce(sema, rule, explicit_args,
+             getOperands(ctx, use, rule->getTemplatedDecl()->getNumParams()));
   if (!specialization) {
     return std::nullopt;
   }

rules/string/src.cpp

@@ -83,3 +83,7 @@ std::string &f29(std::string &dst, const std::string &src) { return dst = src; }
 std::string &f30(std::string &dst, std::string &&src) {
   return dst = std::move(src);
 }
+
+std::size_t f32(const std::string &a0, const char *a1, std::size_t a2) {
+  return a0.find(a1, a2);
+}

rules/string/tgt_refcount.rs

@@ -202,3 +202,12 @@ fn f30(a0: Ptr<Vec<i8>>, a1: &mut Vec<i8>) {
 fn f31(a0: Vec<i8>, a1: Ptr<i8>) -> bool {
     a1.with_c_str(|__s| a0[..a0.len().saturating_sub(1)] != *__s)
 }
+
+fn f32(a0: Vec<i8>, a1: Ptr<i8>, a2: usize) -> usize {
+    let __hay = &a0[..a0.len().saturating_sub(1)];
+    a1.with_c_str(|__needle| {
+        (a2..=__hay.len().saturating_sub(__needle.len()))
+            .find(|&__i| __hay[__i..].starts_with(__needle))
+            .unwrap_or(usize::MAX)
+    })
+}

rules/string/tgt_unsafe.rs

@@ -202,3 +202,11 @@ unsafe fn f31(a0: Vec<libc::c_char>, a1: *const libc::c_char) -> bool {
         std::slice::from_raw_parts(s, (0..).take_while(|&i| *s.add(i) != 0).count() + 1).to_vec()
     }
 }
+
+unsafe fn f32(a0: Vec<libc::c_char>, a1: *const libc::c_char, a2: usize) -> usize {
+    let __hay = &a0[..a0.len() - 1];
+    let __needle = ::std::slice::from_raw_parts(a1, libc::strlen(a1));
+    (a2..=__hay.len().saturating_sub(__needle.len()))
+        .find(|&__i| __hay[__i..].starts_with(__needle))
+        .unwrap_or(usize::MAX)
+}

tests/unit/string.cpp

@@ -125,6 +125,12 @@ int main() {
   assert(pos == 7);
   pos = result.find_last_of("x");
   assert(pos == -1ul);
+  pos = result.find("f");
+  assert(pos == 5);
+  pos = result.find("oo");
+  assert(pos == 6);
+  pos = result.find("x");
+  assert(pos == -1ul);
   std::string string_to_cast = "cast";
   [[maybe_unused]] std::uint8_t *output_data =
       reinterpret_cast<std::uint8_t *>(&string_to_cast[0]);