Up – Package index » goblint » Library goblint.lib » Goblint_lib » Mval

Module `Goblint_lib.Mval`

Domains for mvalues: simplified lvalues, which start with a GoblintCil.varinfo. Mvalues are the result of resolving pointer dereferences in lvalues.

module type Printable = sig ... end

module type Lattice = sig ... end

module MakePrintable
  (Offs : Offset.Printable) : 
  Printable with type idx = Offs.idx

Make Printable mvalue from printable offset.

module MakeLattice (Offs : Offset.Lattice) : Lattice with type idx = Offs.idx

Make mvalue Lattice from offset lattice.

module Unit : Printable with type idx = unit

Mvalue with Offset.Unit indices in offset.

module Exp : Printable with type idx = GoblintCil.exp

Mvalue with Offset.Exp indices in offset.