Bug 14084 - Improve type safety and remove polymorphism
diff --git a/icd/intel/queue.c b/icd/intel/queue.c
index 4b7103b..668185b 100644
--- a/icd/intel/queue.c
+++ b/icd/intel/queue.c
@@ -363,7 +363,7 @@
         intel_fence_set_seqno(queue->fence,
                 intel_cmd_get_batch(last_cmd, NULL));
 
-        if (fence_ != VK_NULL_HANDLE) {
+        if (fence_.handle != VK_NULL_HANDLE) {
             struct intel_fence *fence = intel_fence(fence_);
             intel_fence_copy(fence, queue->fence);
         }
@@ -394,6 +394,14 @@
     return VK_ERROR_UNAVAILABLE;
 }
 
+ICD_EXPORT VkResult VKAPI vkDestroySemaphore(
+    VkDevice                                    device,
+    VkSemaphore                                 semaphore)
+
+ {
+    return VK_SUCCESS;
+ }
+
 ICD_EXPORT VkResult VKAPI vkQueueSignalSemaphore(
     VkQueue                                   queue,
     VkSemaphore                               semaphore)