Merge pull request #741 from j-b-1-7/odin_coverity_fix_200631

jeanlego · web-flow · commit 2d4051532bd9 · 2019-07-17T20:45:11.000-03:00
ODIN_II: Fixed Coverity issue #200631
diff --git a/ODIN_II/SRC/read_blif.cpp b/ODIN_II/SRC/read_blif.cpp
@@ -198,7 +198,7 @@ int read_tokens (char *buffer, hard_block_models *models, FILE *file, Hashtable
 
 	if (token)
 	{
-		if(skip_reading_bit_map && !token && ((token[0] == '0') || (token[0] == '1') || (token[0] == '-')))
+		if(skip_reading_bit_map && ((token[0] == '0') || (token[0] == '1') || (token[0] == '-')))
 		{
 			dum_parse(buffer, file);
 		}

Original file line number	Diff line number	Diff line change
`@@ -198,7 +198,7 @@ int read_tokens (char buffer, hard_block_models models, FILE *file, Hashtable`
`198`	`198`
`199`	`199`	`if (token)`
`200`	`200`	`{`
`201`		`- if(skip_reading_bit_map && !token && ((token[0] == '0') \|\| (token[0] == '1') \|\| (token[0] == '-')))`
	`201`	`+ if(skip_reading_bit_map && ((token[0] == '0') \|\| (token[0] == '1') \|\| (token[0] == '-')))`
`202`	`202`	`{`
`203`	`203`	`dum_parse(buffer, file);`
`204`	`204`	`}`