Bug in riscv mux GetDeviceInfos

[dlopr]

In modules/mux/targets/riscv/source/device_info.cpp, if GetDeviceInfos is called with device_infos_length = 0 and out_device_infos = nullptr to query the number of available devices, it always returns 1 regardless of the actual number of devices detected in the system. See:

oneapi-construction-kit/modules/mux/targets/riscv/source/device_info.cpp

Lines 206 to 210 in 3b62156

	++num_infos_out;
	if (num_infos_out >= device_infos_length) {
	// no more space so terminate
	break;
	}

[coldav]

Thanks for raising this issue! You are quite right. If you are interested we would welcome a pull request, or we will fix it in due course.