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 <gabr...@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
------------------------------------------------------------------------------
Shape the Mobile Experience: Free Subscription
Software experts and developers: Be at the forefront of tech innovation.
Intel(R) Software Adrenaline delivers strategic insight and game-changing
conversations that shape the rapidly evolving mobile landscape. Sign up now.
http://pubads.g.doubleclick.net/gampad/clk?id=63431311&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
