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)