From 7349a8e6493bab31ac9bdeb4042ae3aac3dbaec6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 6 Oct 2021 10:00:24 +0200
Subject: [PATCH] [Eva] Fixes the help message of -eva-warn-copy-indeterminate
option.
---
src/plugins/value/value_parameters.ml | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 00aa3166f88..c1a44a5949f 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -495,10 +495,12 @@ module WarnCopyIndeterminate =
(struct
let option_name = "-eva-warn-copy-indeterminate"
let arg_name = "f | @all"
- let help = "Warn when a statement of the specified functions copies a \
- value that may be indeterminate (uninitialized or containing \
- escaping address). Set by default; can be deactivated for \
- function 'f' by '=-f', or for all functions by '=-@all'."
+ let help =
+ "Warn when a statement copies a value that may be indeterminate \
+ (uninitialized, containing an escaping address, or infinite/NaN \
+ floating-point value). \
+ Set by default; can be deactivated for function 'f' by '=-f', \
+ or for all functions by '=-@all'."
end)
let () = add_correctness_dep WarnCopyIndeterminate.parameter
let () = WarnCopyIndeterminate.Category.(set_default (all ()))
--
GitLab