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)
issue