On Tue, Jun 12, 2012 at 10:52:36AM +0200, Marco Trudel wrote:
> > A work-around is to use the feature-question branch:
> > http://github.com/kerneis/cil/commits/feature-question
> > I have just rebased it against develop, and your test works in that case
> > (with the --use-logical-operators flag).
On Tue, May 15, 2012 at 10:43:56PM +0200, Smets, Jan (Jan) wrote:
> > We could modify the "unused variables" analysis to also
> > remove unused labels.
>
> That would be great.
I just pushed a change to fix this issue:
http://github.com/kerneis/cil/commit/23f2f201e003421699517ca872d148c56b2598ab
