Compare commits
3 Commits
8ff9cb4b96
...
26b44e651d
Author | SHA1 | Date | |
---|---|---|---|
26b44e651d | |||
b338126854 | |||
e91c04b1d1 |
@ -5,6 +5,7 @@
|
|||||||
#include "memory/KernelVM.h"
|
#include "memory/KernelVM.h"
|
||||||
#include "memory/MemoryManager.h"
|
#include "memory/MemoryManager.h"
|
||||||
#include <luna/Alignment.h>
|
#include <luna/Alignment.h>
|
||||||
|
#include <luna/SafeArithmetic.h>
|
||||||
#include <luna/String.h>
|
#include <luna/String.h>
|
||||||
#include <luna/SystemError.h>
|
#include <luna/SystemError.h>
|
||||||
|
|
||||||
@ -332,8 +333,7 @@ Result<void*> krealloc(void* ptr, usize size)
|
|||||||
|
|
||||||
Result<void*> kcalloc(usize nmemb, usize size)
|
Result<void*> kcalloc(usize nmemb, usize size)
|
||||||
{
|
{
|
||||||
// FIXME: Check for overflows.
|
const usize realsize = TRY(safe_mul(nmemb, size));
|
||||||
const usize realsize = nmemb * size;
|
|
||||||
void* const ptr = TRY(kmalloc(realsize));
|
void* const ptr = TRY(kmalloc(realsize));
|
||||||
return memset(ptr, 0, realsize);
|
return memset(ptr, 0, realsize);
|
||||||
}
|
}
|
||||||
|
44
luna/include/luna/SafeArithmetic.h
Normal file
44
luna/include/luna/SafeArithmetic.h
Normal file
@ -0,0 +1,44 @@
|
|||||||
|
#pragma once
|
||||||
|
#include <luna/Result.h>
|
||||||
|
|
||||||
|
template <typename T> constexpr bool add_will_overflow(T a, T b)
|
||||||
|
{
|
||||||
|
return __builtin_add_overflow_p(a, b, (T)0);
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename T> constexpr bool sub_will_overflow(T a, T b)
|
||||||
|
{
|
||||||
|
return __builtin_sub_overflow_p(a, b, (T)0);
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename T> constexpr bool mul_will_overflow(T a, T b)
|
||||||
|
{
|
||||||
|
return __builtin_mul_overflow_p(a, b, (T)0);
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename T> Result<T> safe_add(T a, T b)
|
||||||
|
{
|
||||||
|
T result;
|
||||||
|
|
||||||
|
if (__builtin_add_overflow(a, b, &result)) return err(EOVERFLOW);
|
||||||
|
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename T> Result<T> safe_sub(T a, T b)
|
||||||
|
{
|
||||||
|
T result;
|
||||||
|
|
||||||
|
if (__builtin_sub_overflow(a, b, &result)) return err(EOVERFLOW);
|
||||||
|
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename T> Result<T> safe_mul(T a, T b)
|
||||||
|
{
|
||||||
|
T result;
|
||||||
|
|
||||||
|
if (__builtin_mul_overflow(a, b, &result)) return err(EOVERFLOW);
|
||||||
|
|
||||||
|
return result;
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user