use of later-defined nested class type in method signature causes error
ID0002027: This issue was created automatically from Mantis Issue 2027. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002027 | Frama-Clang | Plug-in > clang | public | 2014-12-11 | 2014-12-12 |
| Reporter | Jochen | Assigned To | fvedrine | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | frama-c-Neon-20140301+dev-stance | OS | - | OS Version | xubuntu-cfe13.10 |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C GIT, precise the release id |
Description :
output:
Now output intermediate result 403.cpp:8:[kernel] user error: redefinition of '_ZN6StringE4Srep' in the same scope. Previous declaration was at 403.cpp:4 [kernel] user error: skipping file "403.cpp" that has errors.
The error remains if the definition of "Srep" is moved into "String". The error disappears if the declarations of "foo" is deleted in line 4.