Fix hex number literal with underscores parsing (#65)

nascentxyz · Jun 29, 2023 · b3e81f6 · b3e81f6
1 parent ed07912
commit b3e81f6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/context/exprs/literal.rs b/src/context/exprs/literal.rs
@@ -111,7 +111,8 @@ pub trait Literal: AnalyzerLike + Sized {
         integer: &str,
         negative: bool,
     ) -> Result<(), ExprErr> {
-        let val = U256::from_str_radix(integer, 16).unwrap();
+        let integer: String = integer.chars().filter(|c| *c != '_').collect();
+        let val = U256::from_str_radix(&integer, 16).unwrap();
         let size: u16 = ((32 - (val.leading_zeros() / 8)) * 8) as u16;
         let concrete_node = if negative {
             let val = I256::from(-1i32) * I256::from_raw(val);