demand maxn if use_bump_alloc is true

adamant-pwn · adamant-pwn · commit a03e96349dd6 · 2025-05-26T23:28:33.000+02:00
diff --git a/cp-algo/math/factorials.hpp b/cp-algo/math/factorials.hpp
@@ -8,8 +8,9 @@
 #include <ranges>
 
 namespace cp_algo::math {
-    template<bool use_bump_alloc = false, int maxn = 100'000>
+    template<bool use_bump_alloc = false, int maxn = -1>
     auto facts(auto const& args) {
+        static_assert(!use_bump_alloc || maxn > 0, "maxn must be set if use_bump_alloc is true");
         constexpr int max_mod = 1'000'000'000;
         constexpr int accum = 4;
         constexpr int simd_size = 8;
diff --git a/verify/simd/many_facts.test.cpp b/verify/simd/many_facts.test.cpp
@@ -15,7 +15,7 @@ void solve() {
     vector<base> args(n);
     for(auto &x : args) {cin >> x;}
     cp_algo::checkpoint("read");
-    auto res = facts(args);
+    auto res = facts<true, 100'000>(args);
     for(auto it: res) {cout << it << "\n";}
     cp_algo::checkpoint("write");
     cp_algo::checkpoint<1>();
