Strange AST produced with unspecified side-effects involve function calls in expressions

ID0000676: This issue was created automatically from Mantis Issue 676. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000676	Frama-C	Kernel	public	2011-01-18	2011-01-18

Reporter	pascal	Assigned To	virgile	Resolution	open
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Carbon-20101202-beta2	Target Version	-	Fixed in Version	-

Description :

Original code:

if(((fast_read(o, 3) ^ fetch) & 0xffffff) == 0 && o < src - MINOFFSET)

Transformed as:

     ui32 tmp_1 ;
      { /*undefined sequence*/ 
        tmp_1 = fast_read((void const   *)o,(unsigned int )3);
        ;
      }
      if (((tmp_1 ^ fetch) & (unsigned int )0xffffff) == (unsigned int )0) {
        if (o < src - 2) {

Contact Pascal for whole function.