--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on August 2011 ---
On Wed, 2011-08-17 at 17:40 +0200, Anne Pacalet wrote: > Le 17/08/2011 17:26, Daniel Sheridan a ?crit : > > I see that I could use the functor to get the result that I want. But I > > wonder whether this would be a useful enhancement, either in filter.ml > > or in sparecode? > > Yes: [sparecode] should test whether the condition as a known value > (probably using [Db.Value.condition_truth_value]) to tell that the if statement > is invisible. I am wondering if it is a good idea or not to put that test > in [filter] since the "clients" of [filter] might want to keep the 'if', > don't they ? Yes, it seems reasonable that [filter] strictly follows the rules set in the T_RemoveInfo instance rather than being clever on its own. I think I was distracted by the name "optim_if" into assuming it was an optimisation step. I'll open a feature request. Thanks for your help. Dan.