f c2ec1a4

compilers/concrete-compiler/compiler/lib/Runtime/simulation.cpp

@@ -243,7 +243,7 @@ uint64_t sim_mul_lwe_u64(uint64_t lhs, uint64_t rhs, char *loc,
       printf(msg_f, loc);
     else if (lhs_signed != 0 && rhs_signed < INT64_MIN / lhs_signed)
       printf(msg_f, loc);
-  } else if (rhs != 0 && (lhs > UINT63_MAX / rhs || result > UINT63_MAX)) {
+  } else if (rhs != 0 && lhs > UINT63_MAX / rhs) {
     printf(msg_f, loc);
   }
   return result;
@@ -271,7 +271,7 @@ void sim_encode_expand_lut_for_boostrap(
   assert((mega_case_size % 2) == 0);
 
   // compute overflow bit
-  bool *overflow_info = (bool *)malloc(sizeof(bool) * output_lut_size);
+  std::vector<bool> overflow_info(output_lut_size, false);
   uint64_t upper_bound = uint64_t(1)
                          << (out_MESSAGE_BITS + (is_signed ? 1 : 0));
   for (size_t i = 0; i < input_lut_size; i++) {
@@ -343,8 +343,6 @@ void sim_encode_expand_lut_for_boostrap(
     }
   }
 
-  free(overflow_info);
-
   return;
 }