diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-11-24 03:02:43 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-11-24 03:02:43 +0100 |
| commit | 83d870e58457a1d335a1d9b9966a6a1887cc297b (patch) | |
| tree | 72888f88c7728c82f3f6df1f4f70591de15eab36 /dev/libSystem/SystemKit/Verify.h | |
| parent | ab37adbacf0f33845804c788b39680cd754752a8 (diff) | |
feat! breaking changes on kernel sources.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'dev/libSystem/SystemKit/Verify.h')
| -rw-r--r-- | dev/libSystem/SystemKit/Verify.h | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/dev/libSystem/SystemKit/Verify.h b/dev/libSystem/SystemKit/Verify.h deleted file mode 100644 index 7d15435a..00000000 --- a/dev/libSystem/SystemKit/Verify.h +++ /dev/null @@ -1,40 +0,0 @@ -/* ======================================== - - Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license. - - File: Verify.h - Purpose: System Call Interface Verification Layer. - - ======================================== */ - -#pragma once - -#include <libSystem/SystemKit/System.h> - -namespace LibSystem::Verify { -/// @author 0xf00sec, and Amlal El Mahrouss -/// @brief safe cast operator. -template <typename T, typename R = VoidPtr> -inline R sys_safe_cast(const T* ptr) { - _rtl_assert(ptr, "safe cast failed!"); - return static_cast<R>(const_cast<T*>(ptr)); -} - -template <typename T, typename U> -struct must_cast_traits { - constexpr static BOOL value = false; -}; - -template <typename T> -struct must_cast_traits<T, T> { - constexpr static BOOL value = true; -}; - -/// @author Amlal El Mahrouss -/// @brief Safe constexpr cast. -template <typename T, typename R> -inline constexpr R* sys_constexpr_cast(T* ptr) { - static_assert(must_cast_traits<T, R>::value, "constexpr cast failed! types are mismatching!"); - return static_cast<R*>(ptr); -} -} // namespace LibSystem::Verify |
