class vis_add_loop_allocates : Visitor.frama_c_inplace
Visitor.frama_c_inplace
This class adds loop allocates clauses to all the statements it visits.
loop allocates