Check for overflows when parsing uints from macro

Fixes recmo#199
jules · Oct 31, 2022 · e88411b · e88411b
1 parent 46937ac
commit e88411b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/ruint-macro/src/lib.rs b/ruint-macro/src/lib.rs
@@ -110,7 +110,11 @@ fn parse(value: &str, bits: &str) -> Result<TokenStream, String> {
         }
 
         // Add digit to result
-        limbs[0] += digit; // Never carries
+        let (result, overflow) = limbs[0].overflowing_add(digit);
+        limbs[0] = result;
+        if overflow {
+            limbs[1] += 1;
+        }
     }
 
     // Remove trailing zeros, pad with zeros