Fixed coverity issue in acl_mem.cpp: Dereference after null check

(Line 2036) Previously, if image is NULL, src_element_size is set to 0. However, there are a bunch of 'image' dereference after this check, which does not make sense since this if statement makes it seem like this function can handle a NULL image. Therefore, I replaced it with return CL_INVALID_MEM_OBJECT like some of the other functions.
(Line 6829) Except these two lines, all the other line querying about mem->block_allocation are contained in the block with a null check for mem->block_allocation. Moving the two lines with the other lines.

Author: haoxian2

src/acl_mem.cpp

@@ -2026,14 +2026,14 @@ CL_API_ENTRY cl_int CL_API_CALL clEnqueueReadImageIntelFPGA(
             "Pointer argument cannot be NULL");
   }
 
-  if (image != NULL) {
-    src_element_size = acl_get_image_element_size(
-        image->context, image->fields.image_objs.image_format, &errcode_ret);
-    if (errcode_ret != CL_SUCCESS) {
-      return errcode_ret;
-    }
-  } else {
-    src_element_size = 0;
+  if (image == NULL) {
+    return CL_INVALID_MEM_OBJECT;
+  }
+
+  src_element_size = acl_get_image_element_size(
+      image->context, image->fields.image_objs.image_format, &errcode_ret);
+  if (errcode_ret != CL_SUCCESS) {
+    return errcode_ret;
   }
 
   tmp_src_offset[0] = origin[0];
@@ -2123,16 +2123,16 @@ CL_API_ENTRY cl_int CL_API_CALL clEnqueueWriteImageIntelFPGA(
   size_t dst_element_size;
   std::scoped_lock lock{acl_mutex_wrapper};
 
-  if (image != NULL) {
-    dst_element_size = acl_get_image_element_size(
-        image->context, image->fields.image_objs.image_format, &errcode_ret);
-    if (errcode_ret != CL_SUCCESS) {
-      return errcode_ret;
-    }
-  } else {
+  if (image == NULL) {
     return CL_INVALID_MEM_OBJECT;
   }
 
+  dst_element_size = acl_get_image_element_size(
+      image->context, image->fields.image_objs.image_format, &errcode_ret);
+  if (errcode_ret != CL_SUCCESS) {
+    return errcode_ret;
+  }
+
   if (!acl_command_queue_is_valid(command_queue)) {
     return CL_INVALID_COMMAND_QUEUE;
   }
@@ -2227,16 +2227,16 @@ CL_API_ENTRY cl_int CL_API_CALL clEnqueueFillImageIntelFPGA(
   cl_event tmp_event;
   std::scoped_lock lock{acl_mutex_wrapper};
 
-  if (image != NULL) {
-    dst_element_size = acl_get_image_element_size(
-        image->context, image->fields.image_objs.image_format, &errcode_ret);
-    if (errcode_ret != CL_SUCCESS) {
-      return errcode_ret;
-    }
-  } else {
+  if (image == NULL) {
     return CL_INVALID_MEM_OBJECT;
   }
 
+  dst_element_size = acl_get_image_element_size(
+      image->context, image->fields.image_objs.image_format, &errcode_ret);
+  if (errcode_ret != CL_SUCCESS) {
+    return errcode_ret;
+  }
+
   if (!acl_command_queue_is_valid(command_queue)) {
     return CL_INVALID_COMMAND_QUEUE;
   }
@@ -2771,15 +2771,18 @@ CL_API_ENTRY void *CL_API_CALL clEnqueueMapImageIntelFPGA(
     if (image->mem_object_type == CL_MEM_OBJECT_IMAGE2D ||
         image->mem_object_type == CL_MEM_OBJECT_IMAGE1D ||
         image->mem_object_type == CL_MEM_OBJECT_IMAGE1D_BUFFER) {
-      if (image_slice_pitch != NULL) {
-        *image_slice_pitch = 0;
+      if (image_slice_pitch == NULL) {
+        BAIL_INFO(CL_INVALID_VALUE, command_queue->context,
+              "Invalid slice pitch provided");
       }
+      *image_slice_pitch = 0;
     } else if (image->mem_object_type == CL_MEM_OBJECT_IMAGE1D_ARRAY) {
       *image_slice_pitch = tmp_row_pitch;
     } else {
       *image_slice_pitch =
           image->fields.image_objs.image_desc->image_height * tmp_row_pitch;
     }
+    
     tmp_slice_pitch = *image_slice_pitch;
   }
 
@@ -6820,12 +6823,12 @@ static void acl_dump_mem_internal(cl_mem mem) {
              (mem->block_allocation->region->uses_host_system_malloc
                   ? "is malloc"
                   : "not malloc"));
+      printf("              .begin             %p\n",
+            mem->block_allocation->range.begin);
+      printf("              .end               %p\n",
+            mem->block_allocation->range.next);
     }
     printf("              .mappings          %d\n", mem->mapping_count);
-    printf("              .begin             %p\n",
-           mem->block_allocation->range.begin);
-    printf("              .end               %p\n",
-           mem->block_allocation->range.next);
     acl_print_debug_msg("              .size              %lu\n", mem->size);
     printf("              .host_ptr          %p\n",
            mem->fields.buffer_objs.host_ptr);