Thanks .. but it appears that --dopartial also requires --domakeCFG (?)

  I would rather not convert whiles into gotos, which is what I assume makeCFG would do.

Gabriel Kerneis <gabriel@kerneis.info> wrote on 11/23/2013 07:05:44 PM:

> > I have an example for which CIL produced the following code fragment:
> >
> > unsigned long *x;
> > ...
> > if (sizeof(*x) < 4UL) {
> > }
> >
> > Would it be possible for CIL to evaluate this expression and eliminate the
> > "if" ?
>
> Have you tried --dopartial?
>
> Otherwise, writing your own module to flatten that kind of pattern should be
> very straightforward.
>
> Best regards,
> --
> Gabriel