Snippets for cbmc 6.10.0 from Fedora x86_64
Sourced from https://kojipkgs.fedoraproject.org/packages/cbmc/6.10.0/1.fc45/data/logs/x86_64/build.log.
-
/builddir/build/BUILD/cbmc-6.10.0-build/cbmc-cbmc-6.10.0/src/util/json.h:269:7: warning: array subscript ‘json_stringt[0]’ is partly outside array bounds of ‘unsigned char [48]’ [-Warray-bounds=] 269 | class json_stringt:public jsont | ^~~~~~~~~~~~ -
/builddir/build/BUILD/cbmc-6.10.0-build/cbmc-cbmc-6.10.0/src/util/namespace.h:90:7: warning: defining ‘namespacet’, which previously failed to be complete in a SFINAE context [-Wsfinae-incomplete=] 90 | class namespacet:public namespace_baset | ^~~~~~~~~~ -
/builddir/build/BUILD/cbmc-6.10.0-build/cbmc-cbmc-6.10.0/src/solvers/smt2/smt2_conv.cpp:5115:21: warning: variable ‘i’ set but not used [-Wunused-but-set-variable=] 5115 | std::size_t i=0; | ^ -
/builddir/build/BUILD/cbmc-6.10.0-build/cbmc-cbmc-6.10.0/src/util/threeval.h:26:34: warning: array subscript 72 is outside array bounds of ‘void [64]’ [-Warray-bounds=] 26 | bool is_false() const { return value==tv_enumt::TV_FALSE; } | ^~~~~ -
/usr/include/c++/16/bits/shared_ptr_base.h:1752:16: warning: array subscript 3 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<abstract_objectt, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=] 1752 | { return _M_ptr; } | ^~~~~~ -
4/79 Test #26: ansi-c-c++-front-end-CORE ...............***Failed 11.12 sec
-
10/79 Test #31: cpp-CORE ................................***Failed 37.54 sec
-
68/79 Test #232: cpp-linter-CORE .........................***Failed 3.33 sec