FIX: integer overflow when making TIME

Oldes · Oldes · commit 9448d9619f1d · 2018-10-16T16:19:35.000+02:00
This fix the problem: >> make time! [596524000 0 0] == 764:26:40 >> to integer! 764:26:40 == 2752000 Found by coverity (cherry picked from commit 4fb7b16) (cherry picked from commit 25eac2a)
diff --git a/src/core/t-time.c b/src/core/t-time.c
@@ -199,7 +199,7 @@
 	}
 	else if (ANY_BLOCK(val) && VAL_BLK_LEN(val) <= 3) {
 		REBFLG neg = FALSE;
-		REBINT i;
+		REBI64 i;
 
 		val = VAL_BLK_DATA(val);
 		if (!IS_INTEGER(val)) goto no_time;

Original file line number	Diff line number	Diff line change
`@@ -199,7 +199,7 @@`
`199`	`199`	`}`
`200`	`200`	`else if (ANY_BLOCK(val) && VAL_BLK_LEN(val) <= 3) {`
`201`	`201`	`REBFLG neg = FALSE;`
`202`		`- REBINT i;`
	`202`	`+ REBI64 i;`
`203`	`203`
`204`	`204`	`val = VAL_BLK_DATA(val);`
`205`	`205`	`if (!IS_INTEGER(val)) goto no_time;`