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

Use Cil_builtins (includes is_frama_c_builtins)

parent b6c7f6d9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/typing/populate_spec.ml
+ 2
− 1
View file @ 82cf1913
......@@ -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
......
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