Description
I am trying to run CBMC as follows on file.C:
cbmc --bounds-check src/file.C -I deps/ -I include/ -I deps/log4cpp/1.1.0/include/ --cpp11
I get a warning and an error which states the following... any ideas on what the issue could be ... this seems like a C++ compilation issue:
file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/backward/backward_warning.h line 32: /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/backward/backward_warning.h:32:2: warning: #warning This file includes at least one deprecated or antiquated header which may be removed without further notice at a future date. Please use a non-deprecated interface with equivalent functionality instead. For a listing of replacement headers and interfaces, consult the file backward_warning.h. **To disable this warning use -Wno-deprecated. [-Wcpp]** #warning \ ^~~~~~~ file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 74: **parse error before `constexpr operator value_type ('** file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 81: parse error before `} ; template <' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 2036: parse error before `struct __attribute__ ( (' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 2038: parse error before `} ; template <' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 2057: parse error before `struct __attribute__ ( (' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 2059: parse error before `} ; template <' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/type_traits line 2666: parse error before `} namespace std __attribute__' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/bits/move.h line 77: parse error before `} template < typename' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/bits/move.h line 91: parse error before `return static_cast < _Tp' file /opt/rh/devtoolset-6/root/usr/include/c++/6.3.1/bits/move.h line 92: parse error before `} template < typename'