wrong interpretation when a bit-field receives the result of a function (csmith)
ID0000819:
**This issue was created automatically from Mantis Issue 819. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0000819 | Frama-C | Plug-in > Eva | public | 2011-05-11 | 2014-02-12 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | pascal | **Assigned To** | pascal | **Resolution** | fixed |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | have not tried |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Carbon-20110201 | **Target Version** | - | **Fixed in Version** | Frama-C Nitrogen-20111001 |
### Description :
struct S { int b:31; } s;
int f(void)
{
return -1;
}
main(){
s.b = f();
Frama_C_dump_each();
}
[value] DUMPING STATE of file bitfield_receives_result.c line 10
s.b# ? {-1} misaligned 0%32
.[bits 31 to 31] ? {0}
=END OF DUMP==
issue