From 64b20f7671dca8a0322291109d7706e38f47e9cf Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 7 Mar 2022 14:55:34 +0100
Subject: [PATCH] [Eva] backport changes from master (likely lost in merges)
---
src/plugins/value/utils/library_functions.ml | 6 +++---
src/plugins/value/utils/mark_noresults.ml | 1 +
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/plugins/value/utils/library_functions.ml b/src/plugins/value/utils/library_functions.ml
index c5319201fcd..51eee549394 100644
--- a/src/plugins/value/utils/library_functions.ml
+++ b/src/plugins/value/utils/library_functions.ml
@@ -100,12 +100,12 @@ let unsupported_specs_tbl =
let warn_unsupported_spec name =
try
let header = Hashtbl.find unsupported_specs_tbl name in
- let path = Filepath.Normalized.(concat (concat Fc_config.datadir "libc") header) in
Self.warning ~once:true ~current:true
~wkey:Self.wkey_libc_unsupported_spec
"@[The specification of function '%s' is currently not supported by Eva.@ \
- Consider adding %a@ to the analyzed source files.@]"
- name Filepath.Normalized.pretty path
+ Consider adding '%a'@ to the analyzed source files.@]"
+ name Filepath.Normalized.pretty
+ (Filepath.Normalized.concat Fc_config.framac_libc header)
with Not_found -> ()
diff --git a/src/plugins/value/utils/mark_noresults.ml b/src/plugins/value/utils/mark_noresults.ml
index 2f9569a5bd2..f679f39b8ba 100644
--- a/src/plugins/value/utils/mark_noresults.ml
+++ b/src/plugins/value/utils/mark_noresults.ml
@@ -36,6 +36,7 @@ let no_memoization_enabled () =
not (Parameters.NoResultsFunctions.is_empty ())
+
(*
Local Variables:
compile-command: "make -C ../../../.."
--
GitLab