module Widen_hints_ext: sig
.. end
Syntax extension for widening hints, used by Value.
val dkey : Log.category
val all_vars_str : string
String used for hints applying to all variables.
type
hint_lval = {
|
vars : Cil_types.lval option ; |
|
names : string list ; |
|
loc : Cil_datatype.Location.t ; |
}
Type of widening hints: an optional variable (None means "all variables")
for which the hints will apply and a list of names (e.g. global).
type
t = hint_lval * Cil_types.term list
val get_stmt_widen_hint_terms : Cil_types.stmt -> t list
get_stmt_widen_hint_terms s
returns the list of widen hints associated to
s
.
val is_global : t -> bool
is_global wh
returns true iff widening hint wh
has a "global" prefix.