Hi everyone, I find that after using *Frontc.parse_with_cabs *to parse
the file to Cil.file, some boolean expressions are changed to an
assignment to a temporary variable.
E.g.,/assert(x>y).../ is changed to /int tmp=x>y; assert(tmp)...
/Is there any options to turn off this changing ?
Thanks a lot!
Best Regards,
Xueguang
------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
