class simplify_const_lval :(Cil_types.varinfo -> Cil_types.init option) ->
Cil.cilVisitor
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
).