--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on September 2014 ---
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