Merge pull request verilog-to-routing#794 from j-b-1-7/odin_coverity_issue_201341

jeanlego · web-flow · commit 8e509dfcebea · 2019-07-20T09:46:22.000-03:00
ODIN_II: Fix coverity issue CID 201341
diff --git a/ODIN_II/SRC/read_blif.cpp b/ODIN_II/SRC/read_blif.cpp
@@ -808,6 +808,8 @@ operation_list read_bit_map_find_unknown_gate(int input_count, nnode_t *node, FI
 		if (output_bit_map != NULL) vtr::free(output_bit_map);
 		output_bit_map = vtr::strdup(vtr::strtok(NULL,TOKENS, file, buffer));
 	}
+	
+	oassert(output_bit_map);
 
 	if (!strcmp(output_bit_map, One))
 	{

Original file line number	Diff line number	Diff line change
`@@ -808,6 +808,8 @@ operation_list read_bit_map_find_unknown_gate(int input_count, nnode_t *node, FI`
`808`	`808`	`if (output_bit_map != NULL) vtr::free(output_bit_map);`
`809`	`809`	`output_bit_map = vtr::strdup(vtr::strtok(NULL,TOKENS, file, buffer));`
`810`	`810`	`}`
	`811`	`+`
	`812`	`+ oassert(output_bit_map);`
`811`	`813`
`812`	`814`	`if (!strcmp(output_bit_map, One))`
`813`	`815`	`{`