Class Aorai_visitors.visit_computing_ignored_functions

class visit_computing_ignored_functions : unit -> object .. end
This visitor computes the list of ignored functions. A function is ignored if its call is present in the C program, while its definition is not available.
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction