Cil representation of (T+3) vs (&T[3])
ID0000763: This issue was created automatically from Mantis Issue 763. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000763 | Frama-C | Kernel | public | 2011-03-24 | 2011-03-25 |
| Reporter | Anne | Assigned To | virgile | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
When T is an array, (T+3) internal representation use a cast ((int *)T + 3). Shouldn't it be represented like (&T[3]) (no cast) ?