Fixed coverity issue in acl_kernel_if.cpp: Type: Reliance on integer endianness (INCOMPATIBLE_CAST)

Author: haoxian2

src/acl_kernel_if.cpp

@@ -288,8 +288,8 @@ static int acl_kernel_if_read_32b(acl_kernel_if *kern, unsigned int addr,
   r = kern->io.read(&kern->io, (dev_addr_t)addr, (char *)val, (size_t)size);
   if (r < size) {
     kern->io.printf(
-        "HAL Kern Error: Read failed from addr %x, read %zu expected %zu\n", addr,
-        r, size);
+        "HAL Kern Error: Read failed from addr %x, read %zu expected %zu\n",
+        addr, r, size);
     return -1;
   }
   return 0;
@@ -334,8 +334,8 @@ static int acl_kernel_rom_read_block(acl_kernel_if *kern, unsigned int addr,
   r = kern->io.read(&kern->io, (dev_addr_t)addr, config_rom, (size_t)size);
   if (r < size) {
     kern->io.printf(
-        "HAL Kern Error: Read failed from addr %x, read %zu expected %zu\n", addr,
-        r, size);
+        "HAL Kern Error: Read failed from addr %x, read %zu expected %zu\n",
+        addr, r, size);
     return -1;
   }
   return 0;
@@ -451,8 +451,8 @@ static uintptr_t acl_kernel_cra_set_segment(acl_kernel_if *kern,
     acl_kernel_if_write_32b(kern, OFFSET_KERNEL_CRA_SEGMENT,
                             (unsigned int)segment);
     kern->cur_segment = segment;
-    acl_kernel_if_read_32b(kern, OFFSET_KERNEL_CRA_SEGMENT,
-                           (unsigned int *)&segment);
+    unsigned int new_segment = (unsigned int)segment;
+    acl_kernel_if_read_32b(kern, OFFSET_KERNEL_CRA_SEGMENT, &new_segment);
   }
 
   return segment_offset;
@@ -468,8 +468,8 @@ static uintptr_t acl_kernel_cra_set_segment_rom(acl_kernel_if *kern,
     acl_kernel_if_write_32b(kern, OFFSET_KERNEL_CRA_SEGMENT,
                             (unsigned int)segment);
     kern->cur_segment = segment;
-    acl_kernel_if_read_32b(kern, OFFSET_KERNEL_CRA_SEGMENT,
-                           (unsigned int *)&segment);
+    unsigned int new_segment = (unsigned int)segment;
+    acl_kernel_if_read_32b(kern, OFFSET_KERNEL_CRA_SEGMENT, &new_segment);
   }
 
   return segment_offset;
@@ -1613,8 +1613,9 @@ void acl_kernel_if_update_status(acl_kernel_if *kern) {
     acl_kernel_if_write_32b(kern, OFFSET_KERNEL_CRA_SEGMENT,
                             (unsigned int)segment_pre_irq);
     kern->cur_segment = segment_pre_irq;
+    unsigned int new_segment_pre_irq = (unsigned int)segment_pre_irq;
     acl_kernel_if_read_32b(kern, OFFSET_KERNEL_CRA_SEGMENT,
-                           (unsigned int *)&segment_pre_irq);
+                           &new_segment_pre_irq);
   }
 }