Class Logic_utils.simplify_const_lval

class simplify_const_lval : (Cil_types.varinfo -> Cil_types.init option) -> Cil.cilVisitor

A cilVisitor (by copy) that simplifies expressions of the type const int x = v, where v is an integer and x is a global variable. Requires a mapping from varinfo to init option (e.g. based on Globals.Vars.find).