Fixes a UB on shifts during root refinement

wegank · wegank · commit 308e43e56aee · 2025-12-15T19:33:22.000+01:00
diff --git a/src/usolve/refine.c b/src/usolve/refine.c
@@ -287,7 +287,7 @@ static void refine_root_by_N_positive_k(mpz_t *upol, unsigned long int *deg_ptr,
 
   mpz_set(*vala, *tmpvala);
   mpz_set(*valb, *tmpvalb);
-  int64_t maxindex = (1L<<(Nlog));
+  int64_t maxindex = (Nlog >= 64) ? 1 : (INT64_C(1) << Nlog);
 
   if(index == -2 || index == 0 || (LOG2(index) > Nlog && index > 0) ){
     if(Nlog == 2) index = 2;
