Declaration order of static class member
ID0001950: This issue was created automatically from Mantis Issue 1950. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001950 | Frama-Clang | Plug-in > clang | public | 2014-11-02 | 2015-02-16 |
| Reporter | jens | Assigned To | virgile | Resolution | open |
| Priority | high | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
The following file contains two classes A and B that contain a single static variable count. A::count is declared at the beginning of class A. Everything is fine.
B::count, however, is defined at the end of class B. Here Frama-Clang complains.
problem209.cpp:26:[fclang] failure: Unknown global variable B::count
Additional Information :
Note, the problem does not occur, when B::count is a non-static member.