On Mon, Aug 14, 2017 at 6:38 PM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > Hi, > > I suggested a while back that it might be useful to add an option to > control the simplifications. > > In dmrC the simplification phase is turned off by default. But if you > supply -O1 option then it is turned on. This ensures that I can test > both the unsimplified and simplified versions. Yes, it's something that more useful now than it was months ago. I think I'll first move some code around though. -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html