On Fri, Jan 03, 2014 at 06:33:53PM -0700, ThanhVu (Vu) Nguyen wrote:
> is there a way, like passing a flag to cilly, that allows me to get the
> modified C version ? the flag --save-temps gives the .i file but it
> doesn't contain these modifications.
Use --save-temps and look at .cil.c. More p
Hi, I believe that CIL modifies/simplies many C statements internally,
.e.,g
while (exp) {body} becomes
while(1) { if(!exp) break; body}
and
if (exp) {b1} else {b2} becomes
int t = exp ; if t {b1} {b2}
is there a way, like passing a flag to cilly, that allows me to get the
modified C versio
