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 wrote on 11/23/2013 07:05:44 PM:
> > I have an example for which CIL produced the following code fragment:
> >
> >
On Fri, Nov 22, 2013 at 08:11:27AM -0600, dagr...@rockwellcollins.com wrote:
> 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" ?
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" ?
Thanks,
Dave
--
S
