format-string.patch

   1 --- mysql-workbench-community-6.3.10-src/library/base/jsonparser.cpp~   2017-11-09 16:11:42.000000000 +0000
   2 +++ mysql-workbench-community-6.3.10-src/library/base/jsonparser.cpp    2018-03-08 13:43:48.632064990 +0000
   3 @@ -343,7 +343,11 @@
   4     */
   5    JsonValue &JsonArray::at(SizeType pos) {
   6      if (pos > _data.size())
   7 +#if defined(__x86_64__) && !defined(__ILP32__)
   8        throw std::out_of_range(base::strfmt("Index '%lu' is out of range.", pos));
   9 +#else
  10 +      throw std::out_of_range(base::strfmt("Index '%u' is out of range.", pos));
  11 +#endif
  12      return _data.at(pos);
  13    }
  14
  15 @@ -358,7 +362,11 @@
  16     */
  17    const JsonValue &JsonArray::at(SizeType pos) const {
  18      if (pos > _data.size())
  19 +#if defined(__x86_64__) && !defined(__ILP32__)
  20        throw std::out_of_range(base::strfmt("Index '%lu' is out of range.", pos));
  21 +#else
  22 +      throw std::out_of_range(base::strfmt("Index '%u' is out of range.", pos));
  23 +#endif
  24      return _data.at(pos);
  25    }
  26