Added support for C sizeof value expressions

Author: IsaacShelton

src/c/ast/expr.rs

@@ -45,6 +45,7 @@ pub enum ExprKind {
     Not(Box<Expr>),
     Call(Box<Expr>, Vec<Expr>),
     SizeOf(ast::Type),
+    SizeOfValue(Box<Expr>),
 }
 
 impl ExprKind {

src/c/parser/expr.rs

@@ -285,8 +285,8 @@ impl<'input, 'diagnostics> Parser<'input, 'diagnostics> {
                     }
                 }
 
-                let _inner = self.parse_expr_primary_base()?;
-                todo!("parse sizeof expression")
+                let inner = self.parse_expr_primary_base()?;
+                return Ok(ExprKind::SizeOfValue(Box::new(inner)).at(source));
             }
             CTokenKind::AlignofKeyword => todo!("parse alignof expression"),
             _ => (),

src/c/translate/eval.rs

@@ -49,7 +49,8 @@ pub fn evaluate_to_const_integer(expr: &Expr) -> Result<BigInt, ParseError> {
         | ExprKind::BitComplement(_)
         | ExprKind::Not(_)
         | ExprKind::Call(_, _)
-        | ExprKind::SizeOf(_) => (),
+        | ExprKind::SizeOf(_)
+        | ExprKind::SizeOfValue(_) => (),
     }
 
     Err(ParseErrorKind::MustBeConstantInteger.at(expr.source))

src/c/translate/expr/mod.rs

@@ -155,5 +155,9 @@ pub fn translate_expr(ctx: &mut TranslateCtx, expr: &Expr) -> Result<ast::Expr,
             .at(expr.source)
         }
         ExprKind::SizeOf(ty) => ast::ExprKind::SizeOf(Box::new(ty.clone())).at(expr.source),
+        ExprKind::SizeOfValue(value) => {
+            let inner = translate_expr(ctx, value)?;
+            ast::ExprKind::SizeOfValue(Box::new(inner)).at(expr.source)
+        }
     })
 }