ID0002077: **This issue was created automatically from Mantis Issue 2077. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002077 | Frama-Clang | Plug-in > clang | public | 2015-02-09 | 2015-10-13 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jochen | **Assigned To** | fvedrine | **Resolution** | open | | **Priority** | normal | **Severity** | feature | **Reproducibility** | always | | **Platform** | Neon-20140301+dev-STANCE-Jan2015 | **OS** | - | **OS Version** | xubuntu-cfe13.10 | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : output: [kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing 462.cpp (external front-end) Now output intermediate result 462.cpp:5:[kernel] failure: Cannot resolve variable __frama_c_arg_0 [kernel] user error: stopping on file "462.cpp" that has errors. If "virtual" is deleted in line 4, the error disappears; similarly if "virtual" is inserted in line 3. Since in Stroustrup's book no mixed virtual/nonvirtual base class is discussed, the example in file "462.cpp" may not be of any relevance. However, the clang++ compiler accepts that file without any problems. ## Attachments - [462.cpp](/uploads/6c5857ed398e1a937d5fade5314a5a1e/462.cpp)