From 78df99931963f6b4c0ede99e643484db289bf080 Mon Sep 17 00:00:00 2001
From: Virgile Robles <virgile.robles@protonmail.ch>
Date: Mon, 29 Apr 2019 17:37:40 +0200
Subject: [PATCH] [Callgraph] Remove "unsound" mention in help message
---
src/plugins/callgraph/options.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/callgraph/options.ml b/src/plugins/callgraph/options.ml
index 0b287167773..3677c0d6be6 100644
--- a/src/plugins/callgraph/options.ml
+++ b/src/plugins/callgraph/options.ml
@@ -76,8 +76,7 @@ module Function_pointers =
let option_name = "-cg-function-pointers"
let help = "when Eva has not been computed, safely over-approximate \
callees in presence of function pointers; \
- always done when Eva has been previously computed. \
- WARNING: this option is unsound"
+ always done when Eva has been previously computed."
end)
module Uncalled =
--
GitLab