From 130cd01932da13adb82b605a16839241055013f2 Mon Sep 17 00:00:00 2001 From: Eyal Rozenberg Date: Fri, 1 Mar 2024 13:55:57 +0200 Subject: [PATCH] Fixes #596: launch_config_builder_t comparison against device id --- src/cuda/api/launch_config_builder.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cuda/api/launch_config_builder.hpp b/src/cuda/api/launch_config_builder.hpp index a1b960ad..9c235585 100644 --- a/src/cuda/api/launch_config_builder.hpp +++ b/src/cuda/api/launch_config_builder.hpp @@ -497,7 +497,7 @@ class launch_config_builder_t { launch_config_builder_t& kernel(const kernel_t* wrapped_kernel_ptr) { - if (device_ and kernel_->device_id() != device_) { + if (device_ and kernel_->device_id() != device_.value()) { throw ::std::invalid_argument("Launch config builder already associated with " + device::detail_::identify(*device_) + " and cannot further be associated " "with " +kernel::detail_::identify(*wrapped_kernel_ptr)); @@ -511,7 +511,7 @@ class launch_config_builder_t { launch_config_builder_t& device(const device::id_t device_id) { - if (kernel_ and kernel_->device_id() != device_id) { + if (kernel_ and kernel_->device_id() != device_id) { throw ::std::invalid_argument("Launch config builder already associated with " + kernel::detail_::identify(*kernel_) + " and cannot further be associated " "another device: " + device::detail_::identify(device_id));