Frama-C API - Widen_hints_ext
Syntax extension for widening hints, used by Value.
val dkey : Self.categorytype hint_vars = | HintAllVars| HintVar of Frama_c_kernel.Cil_types.varinfo| HintMem of Frama_c_kernel.Cil_types.exp * Frama_c_kernel.Cil_types.offset
val pp_hvars : Stdlib.Format.formatter -> hint_vars -> unittype hint_lval = {vars : hint_vars;names : string list;loc : Frama_c_kernel.Cil_datatype.Location.t;
}Type of widening hints: a special kind of lval for which the hints will apply and a list of names (e.g. global).
type t = hint_lval * Frama_c_kernel.Cil_types.term listval get_stmt_widen_hint_terms : Frama_c_kernel.Cil_types.stmt -> t listget_stmt_widen_hint_terms s returns the list of widen hints associated to s.
val is_global : t -> boolis_global wh returns true iff widening hint wh has a "global" prefix.
val is_dynamic : t -> boolis_dynamic wh returns true iff widening hint wh has a "dynamic" prefix.