From 82cf19138a12e7cc4fd38ceddf29093f690fa681 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 8 Aug 2023 11:44:31 +0200
Subject: [PATCH] Use Cil_builtins (includes is_frama_c_builtins)

---
 src/kernel_internals/typing/populate_spec.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index e9773fec250..0e5531c75fa 100644
--- a/src/kernel_internals/typing/populate_spec.ml
+++ b/src/kernel_internals/typing/populate_spec.ml
@@ -96,7 +96,8 @@ let compare_it it1 it2 =
   Cil_datatype.Term.compare it1.it_content it2.it_content
 
 let is_frama_c_builtin kf =
-  Kernel_function.get_name kf |> Ast_info.is_frama_c_builtin
+  Kernel_function.get_vi kf |> Cil_builtins.is_builtin
+  ||Kernel_function.get_name kf |> Cil_builtins.is_special_builtin
 
 let is_frama_c_stdlib kf =
   (Kernel_function.get_vi kf).vattr |> Cil.is_in_libc
-- 
GitLab