Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] problem with gcc 4.8.2 and c++ std headers
  • From: u28616 at hs-harz.de (Christoph Thielecke)
  • Date: Sun, 07 Sep 2014 12:56:04 +0200
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