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. ## Attachments - [problem209.cpp](/uploads/12b2d0b16ba9d25bf52bd8af599cf33c/problem209.cpp)