--- layout: fc_discuss_archives title: Message 17 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,

I just want do static analysis and got a problem by running:

[kernel] preprocessing with "gcc -C -E -I. -I/usr/include/qt4 -I/usr/include/qt4/QtGui -I/usr/include/qt4/QtXml -I/usr/include/qt4/QtCore -I/usr/include  adddialog.cpp"
/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
185 {
186   typedef __SIZE_TYPE__         size_t;
187   typedef __PTRDIFF_TYPE__      ptrdiff_t;
188   
189   #if __cplusplus >= 201103L
190   typedef decltype(nullptr)     nullptr_t;
191  #endif
192  }

What is the problem with frama-c here?


With best regards

Christoph