From f094d58c52a9c959a18ded614fa79c34fc750d83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 1 Dec 2020 08:30:22 +0100
Subject: [PATCH] [kernel] simplify is_main / is_entry_point
---
src/kernel_services/ast_data/kernel_function.ml | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index e428ec472cf..d59121e068f 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -578,12 +578,10 @@ let is_return_stmt kf stmt =
false
let is_entry_point kf =
- let main, _ = Globals.entry_point () in
- equal kf main
+ get_name kf = Kernel.MainFunction.get ()
let is_main kf =
- let name = get_name kf in
- Datatype.String.equal name "main"
+ get_name kf = "main"
let returns_void kf =
let result_type,_,_,_ = Cil.splitFunctionType (get_type kf) in
--
GitLab