mirror/rpcs3
1
0
Fork 0
mirror of https://github.com/RPCS3/rpcs3.git synced 2024-09-28 23:11:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

types.hpp: Add argument formatter to assert errors

Browse Source
This commit is contained in:
Elad Ashkenazi 2024-08-01 09:00:51 +03:00
parent f64c912d02
commit c5c51ec0c1
2 changed files with 62 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
Utilities/StrFmt.cpp
View File

@ -591,10 +591,42 @@ void fmt_class_string<std::source_location>::format(std::string& out, u64 arg)
namespace fmt
{
[[noreturn]] void raw_verify_error(std::source_location loc, const char8_t* msg)
[[noreturn]] void raw_verify_error(std::source_location loc, const char8_t* msg, usz object)
{
std::string out;
fmt::append(out, "%s%s", msg ? msg : u8"Verification failed", loc);
fmt::append(out, "%s (object: 0x%x)%s", msg ? msg : u8"Verification failed", object, loc);
thread_ctrl::emergency_exit(out);
}
[[noreturn]] void raw_range_error(std::source_location loc, std::string_view index, usz container_size)
{
std::string out;
if (container_size != umax)
{
fmt::append(out, "Range check failed (index: %s, container_size: %u)%s", index, container_size, loc);
}
else
{
fmt::append(out, "Range check failed (index: %s)%s", index, loc);
}
thread_ctrl::emergency_exit(out);
}
[[noreturn]] void raw_range_error(std::source_location loc, usz index, usz container_size)
{
std::string out;
if (container_size != umax)
{
fmt::append(out, "Range check failed (index: %u, container_size: %u)%s", index, container_size, loc);
}
else
{
fmt::append(out, "Range check failed (index: %u)%s", index, loc);
}
thread_ctrl::emergency_exit(out);
}

34
rpcs3/util/types.hpp
View File

@ -11,6 +11,7 @@
#include <compare>
#include <memory>
#include <bit>
#include <string>
#include <source_location>
#if defined(__SSE2__) || defined(_M_X64) || defined(_M_AMD64) || defined(__x86_64__) || defined(__amd64__)
@ -912,7 +913,25 @@ using const_str = const_str_t<>;
namespace fmt
{
[[noreturn]] void raw_verify_error(std::source_location loc, const char8_t* msg);
[[noreturn]] void raw_verify_error(std::source_location loc, const char8_t* msg, usz object);
[[noreturn]] void raw_range_error(std::source_location loc, std::string_view index, usz container_size);
[[noreturn]] void raw_range_error(std::source_location loc, usz index, usz container_size);
}
// No full implementation to ease on header weight
template <typename T>
std::conditional_t<std::is_integral_v<std::remove_cvref_t<T>>, usz, std::string_view> format_object_simplified(const T& obj)
{
using type = std::remove_cvref_t<T>;
if constexpr (std::is_integral_v<type> || std::is_same_v<std::string, type> || std::is_same_v<std::string_view, type>)
{
return obj;
}
else
{
return std::string_view{};
}
}
template <typename T>
@ -923,7 +942,7 @@ constexpr decltype(auto) ensure(T&& arg, const_str msg = const_str(), std::sourc
return std::forward<T>(arg);
}
fmt::raw_verify_error(src_loc, msg);
fmt::raw_verify_error(src_loc, msg, 0);
}
template <typename T, typename F> requires (std::is_invocable_v<F, T&&>)
@ -934,7 +953,7 @@ constexpr decltype(auto) ensure(T&& arg, F&& pred, const_str msg = const_str(),
return std::forward<T>(arg);
}
fmt::raw_verify_error(src_loc, msg);
fmt::raw_verify_error(src_loc, msg, 0);
}
// narrow() function details
@ -1015,7 +1034,7 @@ template <typename To = void, typename From, typename = decltype(static_cast<To>
// Narrow check
if (narrow_impl<From, To>::test(value)) [[unlikely]]
{
fmt::raw_verify_error(src_loc, u8"Narrowing error");
fmt::raw_verify_error(src_loc, u8"Narrowing error", +value);
}
return static_cast<To>(value);
@ -1046,7 +1065,7 @@ template <typename CT, typename T> requires requires (CT&& x) { std::size(x); st
const std::make_unsigned_t<std::common_type_t<T>> idx = index;
const u32 csz = ::size32(container, src_loc);
if (csz <= idx) [[unlikely]]
fmt::raw_verify_error(src_loc, u8"Out of range");
fmt::raw_range_error(src_loc, format_object_simplified(index), csz);
auto it = std::begin(std::forward<CT>(container));
std::advance(it, idx);
return *it;
@ -1057,8 +1076,11 @@ template <typename CT, typename T> requires requires (CT&& x, T&& y) { x.count(y
{
// Associative container
const auto found = container.find(std::forward<T>(index));
usz csv = umax;
if constexpr ((requires () { container.size(); }))
csv = container.size();
if (found == container.end()) [[unlikely]]
fmt::raw_verify_error(src_loc, u8"Out of range");
fmt::raw_range_error(src_loc, format_object_simplified(index), csv);
return found->second;
}