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