Module BaseUtil

val is_global : Queries.ask -> Cil.varinfo -> bool
val is_static : Cil.varinfo -> bool
val is_always_unknown : Cil.varinfo -> bool
val is_precious_glob : Cil.varinfo -> bool