From 4244ae3b416da532b88f4ed99bc5a432a0683bb1 Mon Sep 17 00:00:00 2001 From: rudy Date: Wed, 19 Jul 2023 19:16:33 +0200 Subject: [PATCH] fix(compiler): explicit global_p_error disable high error warning --- .../concrete-compiler/compiler/lib/Support/V0Parameters.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compilers/concrete-compiler/compiler/lib/Support/V0Parameters.cpp b/compilers/concrete-compiler/compiler/lib/Support/V0Parameters.cpp index e38017a34..39fd50f17 100644 --- a/compilers/concrete-compiler/compiler/lib/Support/V0Parameters.cpp +++ b/compilers/concrete-compiler/compiler/lib/Support/V0Parameters.cpp @@ -287,7 +287,9 @@ llvm::Error checkPErrorSolution(Solution solution, optimizer::Config config) { return StreamStringError() << "Cannot find crypto parameters"; } - if (/*descr.dag &&*/ !config.display && /*naive_user &&*/ + bool naive_config = (std::isnan(config.global_p_error) && + config.p_error <= WARN_ABOVE_GLOBAL_ERROR_RATE); + if (!config.display && naive_config && solution.global_p_error > WARN_ABOVE_GLOBAL_ERROR_RATE) { llvm::errs() << "WARNING: high error rate, more details with " "--display-optimizer-choice\n";