From f4f853b1702618be3a56df04239fc2d03cadf7ad Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 16 Apr 2021 15:28:28 +0200
Subject: [PATCH] [rte] better help message for -rte-initialized
---
src/plugins/rte/options.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/rte/options.ml b/src/plugins/rte/options.ml
index f71174581b3..2e5b4d55f5b 100644
--- a/src/plugins/rte/options.ml
+++ b/src/plugins/rte/options.ml
@@ -68,9 +68,9 @@ module DoInitialized =
(struct
let option_name = "-rte-initialized"
let arg_name = "fct"
- let help = "annotates local variables and pointers reads of non struct \
- or union types with initialization tests for functions in \
- 'fct', see documentation for more details."
+ let help = "for each function in 'fct', annotates reads of non struct or \
+ union values from local variables and pointers with \
+ initialization tests, see documentation for more details"
end)
(* annotates invalid memory access (undefined behavior) *)
--
GitLab