module Symbols:sig
..end
Tables that contain RTL's symbols. Useful to know whether some symbols is part of the RTL.
val mem_global : Cil_types.global -> bool
val mem_kf : Cil_types.kernel_function -> bool
val mem_vi : string -> bool
exception Unregistered of string
val find_vi : string -> Cil_types.varinfo
Unregistered
if the given name is not part of the RTL.val replacement : get_name:(string -> string) -> Cil_types.varinfo -> Cil_types.varinfo
Given the varinfo of a C function with an RTL replacement, return
the varinfo of the RTL function that replaces it. The function
get_name
is used to find the name of the RTL replacement.