Class Deadcodeelim.hasVolatile


class hasVolatile : bool Pervasives.ref -> object .. end
Inherits
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction