DPCTLDeviceMgr_GetNumDevices should not operate on rejected devices

Author: oleksandr-pavlyk

libsyclinterface/source/dpctl_sycl_device_manager.cpp

@@ -287,6 +287,8 @@ size_t DPCTLDeviceMgr_GetNumDevices(int device_identifier)
         return 0;
 
     for (const auto &entry : cache) {
+        if (mRanker(entry.first) < 0)
+            continue;
         auto Bty(DPCTL_SyclBackendToDPCTLBackendType(
             entry.first.get_platform().get_backend()));
         auto Dty(DPCTL_SyclDeviceTypeToDPCTLDeviceType(