From 046ae587f584c5745450e3a3c58a63e699b5df55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 3 Dec 2020 08:24:05 +0100
Subject: [PATCH] [kernel] protect is_entry_point against name mangling
---
src/kernel_services/ast_data/kernel_function.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index c7da0c6548c..9d77d6ecb2d 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -578,7 +578,8 @@ let is_return_stmt kf stmt =
false
let is_entry_point kf =
- String.equal (get_name kf) (Kernel.MainFunction.get ())
+ try equal kf (fst (Globals.entry_point ()))
+ with Globals.No_such_entry_point _ -> false
let is_main kf =
String.equal (get_name kf) "main"
--
GitLab