Snippets for cbmc 6.10.0 from Fedora aarch64

Sourced from https://kojipkgs.fedoraproject.org/packages/cbmc/6.10.0/1.fc45/data/logs/aarch64/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; }
        |                ^~~~~~