Home Explore Help
Sign In
exa2pro
/
starpu-max
Watch 19
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Browse Source

Ensuring nhops is at least 1 in create_request_to_fetch_data()

[scan-build] Branch condition evaluates to a garbage value
Cyril Roelandt 13 years ago
parent
4a55fb873c
commit
b4a45ae352
1 changed files with 1 additions and 1 deletions
Unified View Show Diff Stats
  1. 1 1
      src/datawizard/coherency.c

+ 1 - 1
src/datawizard/coherency.c
View File 

@@ -377,8 +377,8 @@ starpu_data_request_t create_request_to_fetch_data(starpu_data_handle handle,
 
 	unsigned src_nodes[4], dst_nodes[4], handling_nodes[4];
 
 	unsigned src_nodes[4], dst_nodes[4], handling_nodes[4];
 
 	int nhops = determine_request_path(handle, src_node, requesting_node, mode, 4,
 
 	int nhops = determine_request_path(handle, src_node, requesting_node, mode, 4,
 
 					src_nodes, dst_nodes, handling_nodes);
 
 					src_nodes, dst_nodes, handling_nodes);
 
-	STARPU_ASSERT(nhops <= 4);
 
 
 
+	STARPU_ASSERT(nhops >= 1 && nhops <= 4);
 
 	starpu_data_request_t requests[nhops];
 
 	starpu_data_request_t requests[nhops];
 
 
 
 	/* Did we reuse a request for that hop ? */
 
 	/* Did we reuse a request for that hop ? */