[Termtools] C category: x = x++ statements

[Ton-Chanh Le]

Dear all,

We have a problem with the x = x++ statements,
which appear in the examples

TPDB/C/SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c

TPDB/C/SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c

We are using CIL as the C parser and those statements behave
differently under CIL (from GCC and MSVC), according to

https://www.cs.berkeley.edu/~necula/cil/cil012.html#toc30

Could we use x++ instead of x = x++ in those examples?

Thank you.

Best Regards,

Le Ton Chanh
Email: chanhle at comp.nus.edu.sg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150721/fc36d168/attachment.html>