# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1357241472 0
# Node ID c370918ca7fbc86ec96dc0c272027dc66dad2df6
# Parent  b08167f156a11ff3c9aff968406f60f6c84f02d8
Fix divide by 0 bug.

diff -r b08167f156a1 -r c370918ca7fb stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Thu Jan 03 17:04:04 2013 +0000
+++ b/stage3/constant_folding.cc	Thu Jan 03 19:31:12 2013 +0000
@@ -448,6 +448,8 @@
 	if (!VALID_CVALUE(uint64, res))
 		return;
 	/* Test by pre-condition: If (UINT64_MAX / a) < b => overflow! */
+	if (0 == GET_CVALUE(uint64, a))
+		return; // multiplying by 0 will always result in 0, a valid result!	  
 	if ((UINT64_MAX / GET_CVALUE(uint64, a)) < GET_CVALUE(uint64, b))
 		SET_OVFLOW(uint64, res);
 }