Declaration order of static class member
ID0001950: This issue was created automatically from Mantis Issue 1950. Further discussion may take place here.
|ID0001950||Frama-Clang||Plug-in > clang||public||2014-11-02||2015-02-16|
|Product Version||Frama-C GIT, precise the release id||Target Version||-||Fixed in Version||-|
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.