mutable
must_add_decl =
Cilutil
.
VarinfoSet
.empty