From 946698d2e3243f1af194376d47b55786d1a1b152 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?= Date: Tue, 3 Jan 2023 11:51:35 +0100 Subject: [PATCH] better error reporting for allocator issues --- repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc | 4 ++-- repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc index 09b47105ce..1d4c0387f0 100644 --- a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc +++ b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc @@ -71,8 +71,8 @@ void* gpgpu_genode::aligned_alloc(uint32_t alignment, uint32_t size) [&] (void *ptr) { return ptr; }, - [&] (Genode::Range_allocator::Alloc_error) -> void * { - Genode::error("[GPU] Error in driver allocation!"); + [&] (Genode::Range_allocator::Alloc_error e) -> void * { + Genode::error("[GPU] Error in driver allocation: ", e); return nullptr; } ); diff --git a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc index 9aa71cfa47..9614813878 100644 --- a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc +++ b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc @@ -43,8 +43,8 @@ void* cl_genode::aligned_alloc(Genode::uint32_t alignment, Genode::uint32_t size [&] (void *ptr) { return ptr; }, - [&] (Genode::Range_allocator::Alloc_error) -> void * { - Genode::error("[OCL] Error in driver allocation!"); + [&] (Genode::Range_allocator::Alloc_error e) -> void * { + Genode::error("[OCL] Error in driver allocation: ", e); return nullptr; } );