tools/gdbinit: first draft (still incomplete) of a function to print early received data

tools/gdbinit

@@ -666,6 +666,22 @@ define starpu-mpi-print-detached-requests
     end
 end
 
+define starpu-mpi-print-early-data
+  set $hash = (struct _starpu_mpi_early_data_handle_hashlist *)_starpu_mpi_early_data_handle_hashmap
+  if $hash
+     printf "Communicator %p Rank %d Data_tag %d\n", $hash->node_tag->comm, $hash->node_tag->rank, $hash->node_tag->data_tag
+     set $list = (struct _starpu_mpi_early_data_handle_list *) $hash->list
+     if $list
+	set $request = $list->_head
+        while $request
+            starpu-mpi-print-request $request
+	    set $request = $request._next
+	end
+  else
+     printf "No early data"
+  end
+end
+
 document starpu
 List of StarPU-specific gdb functions:
 starpu-workers          prints a list of the StarPU workers
@@ -694,4 +710,5 @@ document starpu-mpi
 List of StarPU-MPI-specific gdb functions:
 starpu-mpi-print-ready-requests    prints all ready requests
 starpu-mpi-print-detached-requests prints all detached requests
+starpu-mpi-print-early-data        prints all early received data
 end