Wrong result when subtle promotions involved in x86_32 (csmith)

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

---

Id	Project	Category	View	Due Date	Updated
ID0000994	Frama-C	Plug-in > Eva	public	2011-10-21	2011-10-21

Reporter	pascal	Assigned To	pascal	Resolution	no change required
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Nitrogen-20111001	Target Version	-	Fixed in Version	-

Description :

main(){

int i = ( ((short int) (-27963)) ^ 2UL ) <= 0xE945F009BC071553LL; return i;

}

~/ppc/bin/toplevel.opt -print r.c -val -machdep x86_64 -print ... i ? {0}

(correct)

~/ppc/bin/toplevel.opt -print r.c -val -machdep x86_32 -print ... i ? {1}

(incorrect)