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