Snippets for cbmc 6.10.0 from Fedora i686

Sourced from https://kojipkgs.fedoraproject.org/packages/cbmc/6.10.0/1.fc45/data/logs/i686/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 [28]’ [-Warray-bounds=]
    269 | class json_stringt:public jsont
        |       ^~~~~~~~~~~~
  

• /usr/include/c++/16/bits/stl_list.h:1290:7: warning: array subscript 7 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
   1290 |       ~list() = default;
        |       ^
  

• /usr/include/c++/16/bits/stl_map.h:338:7: warning: array subscript 2 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
    338 |       ~map() = default;
        |       ^
  

• /usr/include/c++/16/bits/stl_tree.h:1383:19: warning: array subscript 2 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
   1383 |         _Base_ptr __begin = this->_M_impl._M_header._M_parent;
        |                   ^~~~~~~
  

• /usr/include/c++/16/bits/basic_string.h:238:28: warning: array subscript 1 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
    238 |       { return _M_dataplus._M_p; }
        |                            ^~~~
  

• /usr/include/c++/16/bits/basic_string.h:298:21: warning: array subscript 1 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
    298 |           _M_destroy(_M_allocated_capacity);
        |           ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
  

• /usr/include/c++/16/bits/basic_string.h:281:17: warning: array subscript 1 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
    281 |             if (_M_string_length > _S_local_capacity)
        |                 ^~~~~~~~~~~~~~~~
  

• /usr/include/c++/16/bits/basic_string.h:920:23: warning: array subscript 1 is outside array bounds of ‘std::_Sp_counted_ptr_inplace<std::function<xmlt(const std::pair<const labelt, structured_data_entryt>&)>, std::allocator<void>, __gnu_cxx::_S_atomic> [1]’ [-Warray-bounds=]
    920 |       { _M_dispose(); }
        |                       ^
  

• /usr/include/c++/16/bits/basic_string.h:298:21: warning: array subscript ‘std::__cxx11::basic_string<char>[0]’ is partly outside array bounds of ‘unsigned char [28]’ [-Warray-bounds=]
    298 |           _M_destroy(_M_allocated_capacity);
        |           ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
  

• /builddir/build/BUILD/cbmc-6.10.0-build/cbmc-cbmc-6.10.0/src/util/xml.h:20:7: warning: array subscript ‘xmlt[0]’ is partly outside array bounds of ‘unsigned char [28]’ [-Warray-bounds=]
     20 | class xmlt
        |       ^~~~
  

• /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 36 is outside array bounds of ‘void [32]’ [-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 4 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; }
        |                ^~~~~~