void dump_memory_range(ostream& out, const char* name, cell name_w,
cell start, cell end) {
- out << setw(name_w) << left << name << ": ";
+ out << setw(static_cast<int>(name_w)) << left << name << ": ";
out << "[" << (void*)start << " -> " << (void*)end << "] ";
out << setw(10) << right << (end - start) << " bytes" << endl;
localized_stream << std::setfill(fill[0]);
}
if (width >= 0) {
- localized_stream << std::setw(width);
+ localized_stream << std::setw(static_cast<int>(width));
}
if (precision >= 0) {
- localized_stream << std::setprecision(precision);
+ localized_stream << std::setprecision(static_cast<int>(precision));
}
localized_stream << value;
const std::string& tmp = localized_stream.str();