Skip to content
Snippets Groups Projects
Commit e70fc155 authored by Thibault Martin's avatar Thibault Martin Committed by Allan Blanchard
Browse files

Add _builtin_va_end to frama-c builtins

parent 4c65271b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/ast_queries/cil_builtins.ml
+ 1
− 1
View file @ e70fc155
...@@ -77,7 +77,7 @@ let () = add_special_builtin_family ...@@ -77,7 +77,7 @@ let () = add_special_builtin_family
(fun s -> Datatype.String.Set.mem s !special_builtins_table) (fun s -> Datatype.String.Set.mem s !special_builtins_table)
let () = List.iter add_special_builtin 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"; ] "__builtin_va_start"; "__builtin_expect"; "__builtin_next_arg"; ]
module Builtin_functions = module Builtin_functions =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment