summaryrefslogtreecommitdiffhomepage
path: root/dev/libSystem/SystemKit/Verify.h
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2025-11-24 03:02:43 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2025-11-24 03:02:43 +0100
commit83d870e58457a1d335a1d9b9966a6a1887cc297b (patch)
tree72888f88c7728c82f3f6df1f4f70591de15eab36 /dev/libSystem/SystemKit/Verify.h
parentab37adbacf0f33845804c788b39680cd754752a8 (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.h40
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