GStoreWideningHelper (p.goblint.2.8.0.doc.goblint.lib.Goblint

Contains some definitions that are helpful for the tutorial but out of scope

module Intervals : sig ... end

val is_tracked_var : GoblintCil.varinfo -> bool

val is_tracked_lval : 
  (GoblintCil.lhost * GoblintCil.offset) ->
  GoblintCil.varinfo option

val ikind_of_typ : GoblintCil.Cil.typ -> GoblintCil.ikind

val ikind_of_exp : GoblintCil.exp -> GoblintCil.ikind

val top_of_typ : GoblintCil.Cil.typ -> Intervals.t

val top_of_exp : GoblintCil.exp -> Intervals.t

val top_of_var : GoblintCil.varinfo -> Intervals.t

val cast_to_typ : GoblintCil.Cil.typ -> Intervals.t -> Intervals.t

val const_int : GoblintCil.Cil.ikind -> Intervals.int_t -> Intervals.t