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 *