From e70fc155a08cbebbdc7f3ef7c9430ac8a60200c8 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 11 Sep 2023 15:40:24 +0200
Subject: [PATCH] Add _builtin_va_end to frama-c builtins
---
src/kernel_services/ast_queries/cil_builtins.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil_builtins.ml b/src/kernel_services/ast_queries/cil_builtins.ml
index a596fa02ee7..a2cdec06341 100644
--- a/src/kernel_services/ast_queries/cil_builtins.ml
+++ b/src/kernel_services/ast_queries/cil_builtins.ml
@@ -77,7 +77,7 @@ let () = add_special_builtin_family
(fun s -> Datatype.String.Set.mem s !special_builtins_table)
let () = List.iter add_special_builtin
- [ "__builtin_stdarg_start"; "__builtin_va_arg";
+ [ "__builtin_stdarg_start"; "__builtin_va_arg"; "__builtin_va_end";
"__builtin_va_start"; "__builtin_expect"; "__builtin_next_arg"; ]
module Builtin_functions =
--
GitLab