Changes in kernel/generic/src/udebug/udebug_ipc.c [9d58539:b5f716b] in mainline

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (4 diffs)

kernel/generic/src/udebug/udebug_ipc.c

@@ -343 +343 @@
         sysarg_t uspace_addr;
         sysarg_t to_copy;
-        void *buffer;
+        void *buffer = NULL;
         int rc;
 
@@ -354 +354 @@
                 return;
         }
+
+        ASSERT(buffer != NULL);
 
         /*
@@ -385 +387 @@
         sysarg_t uspace_src;
         unsigned size;
-        void *buffer;
+        void *buffer = NULL;
         int rc;
 
@@ -398 +400 @@
                 return;
         }
+
+        ASSERT(buffer != NULL);
 
         IPC_SET_RETVAL(call->data, 0);