module Widen_type: sig
.. end
Key for the first map : from Base.t to Ival.Widen_Hints.t
type
t
type
widen_hint = Ival.Widen_Hints.t
type
var_key =
| |
Default |
| |
All |
| |
VarKey of Base.t |
Key for the first map : from Base.t to Ival.Widen_Hints.t
type
stmt_key = Cil_types.stmt option
Key for the second map : from stmt to the first map
val empty : t
an empty
set of hints
val default : t
a default
set of hints
val add_num_hints : stmt_key ->
var_key -> widen_hint -> t -> t
add a set of hints for a stmt, var
, Default
or All
(stmts, keys)
val add_var_hints : Cil_types.stmt -> BaseUtils.BaseSet.t -> t -> t
add a set of Base for a stmt
val hints_from_keys : Cil_types.stmt ->
t ->
BaseUtils.BaseSet.t * (Base.t -> Locations.Location_Bytes.widen_hint)
widen hints from a Cil_types.stmt, Base
module Datatype: Project.Datatype.S
with type t = t