Copy visitor builts an inconsistent AST when generating function call with array as argument
ID0001285:
**This issue was created automatically from Mantis Issue 1285. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001285 | Frama-C | Kernel | public | 2012-10-19 | 2012-10-19 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | signoles | **Assigned To** | virgile | **Resolution** | no change required |
| **Priority** | high | **Severity** | major | **Reproducibility** | have not tried |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Oxygen-20120901 | **Target Version** | - | **Fixed in Version** | - |
### Description :
Run the uploaded script on the following file:
=== visit.i ===
int T[1];
void f(int *x) { x[0] = 1; }
void main() {
L: ;
}
===============
$ frama-c -check -load-script visit.ml visit.i
visit.i:4:[kernel] failure: [AST Integrity Check] AST of visit
in call f(T);, arg T has type int [1] instead of int *
<skip backtrace>
## Attachments
- [visit.ml](/uploads/e2327e688ebd86b9c9da877228eaa60b/visit.ml)
issue