Replace assert with report_fatal_error

Author: lucic71

cpp2rust/converter/converter.cpp

@@ -5319,7 +5319,9 @@ std::string
 Converter::ConvertInitFragment(clang::Expr *expr,
                                const std::vector<clang::Expr *> &all_args) {
   const auto *tgt_ir = RuleRegistry::GetExprRule(ctx_, expr);
-  assert(tgt_ir && tgt_ir->usesInit());
+  if (!tgt_ir || !tgt_ir->usesInit()) {
+    llvm::report_fatal_error("expression rule does not use Init");
+  }
   auto type = RuleRegistry::GetInitType(expr);
 
   Buffer buf(*this);

cpp2rust/converter/rules/registry.cpp

@@ -160,7 +160,9 @@ void addCxxRules(clang::ASTContext &ctx, const clang::NamespaceDecl *rules) {
     }
     for (auto decl : ns->decls()) {
       auto named = llvm::cast<clang::NamedDecl>(decl);
-      assert(isRuleName(named->getName()) && "declaration is not a rule");
+      if (!isRuleName(named->getName())) {
+        llvm::report_fatal_error("declaration is not a rule");
+      }
       addRule(ctx, dir.str(), named->getName().str(), named);
     }
   }
@@ -172,7 +174,9 @@ void addCRule(clang::ASTContext &ctx, const clang::NamedDecl *decl) {
     return;
   }
   auto [dir, name] = identifier.rsplit('_');
-  assert(isRuleName(name) && "declaration is not a rule");
+  if (!isRuleName(name)) {
+    llvm::report_fatal_error("declaration is not a rule");
+  }
   addRule(ctx, dir.str(), name.str(), decl);
 }
 
@@ -197,8 +201,9 @@ ExprMatch findExpr(const clang::Expr *use) {
           use->dump(llvm::errs(), sema_->Context);
           it->second.decl->dump(llvm::errs());
           best.rule_decl->decl->dump(llvm::errs());
+          llvm::report_fatal_error(
+              "use matches several rules, none more specialized");
         }
-        assert(better && "use matches several rules, none more specialized");
         if (better != it->second.decl) {
           continue;
         }
@@ -235,7 +240,10 @@ TypeRuleMatch findType(clang::QualType use) {
         if (match->depth == best.match.depth) {
           auto better = AstMatcher::MoreSpecializedType(*sema_, it->second.decl,
                                                         best.rule_decl->decl);
-          assert(better && "type matches several rules, none more specialized");
+          if (!better) {
+            llvm::report_fatal_error(
+                "type matches several rules, none more specialized");
+          }
           if (better != it->second.decl) {
             continue;
           }