class uselessInstrElim :(
object
Inherits
method vstmt : RD.ReachingDef.StmtStartData.key ->
Cil_types.stmt Cil.visitAction
end
:
object ... end
)
Inherits
method vstmt : RD.ReachingDef.StmtStartData.key ->
Cil_types.stmt Cil.visitAction