E_ACSL.Literal_strings
Associate literal strings to fresh varinfo.
val add : string -> Frama_c_kernel.Cil_types.varinfo -> unit
val find : string -> Frama_c_kernel.Cil_types.varinfo
val fold :
( string -> Frama_c_kernel.Cil_types.varinfo -> 'a -> 'a ) ->
'a ->
'a