Implemented sizeof(type) C expression

Author: IsaacShelton

src/c/ast/expr.rs

@@ -1,5 +1,6 @@
 use super::{AbstractDeclarator, SpecifierQualifierList};
 use crate::{
+    ast,
     c::{
         encoding::Encoding,
         token::{FloatSuffix, Integer},
@@ -43,6 +44,7 @@ pub enum ExprKind {
     BitComplement(Box<Expr>),
     Not(Box<Expr>),
     Call(Box<Expr>, Vec<Expr>),
+    SizeOf(ast::Type),
 }
 
 impl ExprKind {

src/c/parser/expr.rs

@@ -273,15 +273,15 @@ impl<'input, 'diagnostics> Parser<'input, 'diagnostics> {
                         TranslateCtx::new(&mut self.ast_file, &mut self.typedefs, self.diagnostics);
                     let specifier_qualifiers = &type_name.specifier_qualifiers;
 
-                    let ty = get_type(
+                    let abstract_declarator_info = get_type(
                         &mut ctx,
                         type_name.abstract_declarator.as_ref(),
                         &specifier_qualifiers.into(),
                         false,
                     );
 
-                    if let Ok(ty) = ty {
-                        return todo!("handle parsed sizeof(type) - {:?}", ty);
+                    if let Ok(abstract_declarator_info) = abstract_declarator_info {
+                        return Ok(ExprKind::SizeOf(abstract_declarator_info.ast_type).at(source));
                     }
                 }
 

src/c/translate/eval.rs

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

src/c/translate/expr/mod.rs

@@ -154,5 +154,6 @@ 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),
     })
 }