diff --git a/repos/hello_gpgpu/src/hello_gpgpu/allocator_stupid.cc b/repos/hello_gpgpu/src/hello_gpgpu/allocator_stupid.cc index f10dc5a4c5..d12abbbd93 100644 --- a/repos/hello_gpgpu/src/hello_gpgpu/allocator_stupid.cc +++ b/repos/hello_gpgpu/src/hello_gpgpu/allocator_stupid.cc @@ -1,11 +1,15 @@ #include "allocator_stupid.h" +#include using namespace Genode; void* Allocator_stupid::alloc(size_t size) { if(m_curr + size > m_end) + { + Genode::error("Allocator_stupid: OOM!"); return nullptr; + } const addr_t naddr = m_curr; m_curr += size;