--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with gcc 4.8.2 and c++ std headers



Hello,

2014-09-07 12:56, Christoph Thielecke:
> /usr/include/x86_64-linux-gnu/c++/4.8/bits/c++config.h:184:[kernel] user error: syntax error
>
> By looking into /usr/include/x86_64-linux-gnu/c++/4.8/bits/c++config.h line 184 (and follow) show:
>
> 184 namespace std
[...]
>
> What is the problem with frama-c here?

It is C++ code ("namespace"). Frama-C does not handle (yet) C++.

Best regards,
david