Update skeleton

examples/array5.c

@@ -0,0 +1,11 @@
+int main() {
+    int init = 1;
+    int a[5] = {init, 2, 3, 4, -5};
+    int sum = 0;
+
+    for(int i = 0; i < 5; i++) {
+        sum += a[i];
+    }
+    
+    return sum;
+}

src/c/ast_equiv.rs

@@ -88,11 +88,20 @@ impl IsEquiv for Initializer {
     fn is_equiv(&self, other: &Self) -> bool {
         match (self, other) {
             (Self::Expression(expr), Self::Expression(other_expr)) => expr.is_equiv(other_expr),
+            (Self::List(items), Self::List(other_items)) => items.is_equiv(other_items),
             _ => false,
         }
     }
 }
 
+impl IsEquiv for InitializerListItem {
+    fn is_equiv(&self, other: &Self) -> bool {
+        self.designation.is_empty()
+            && other.designation.is_empty()
+            && self.initializer.is_equiv(&other.initializer)
+    }
+}
+
 impl IsEquiv for Declarator {
     fn is_equiv(&self, other: &Self) -> bool {
         self.kind.is_equiv(&other.kind) && self.derived.is_equiv(&other.derived)

src/c/parse.rs

@@ -208,11 +208,18 @@ impl AssertSupported for Initializer {
     fn assert_supported(&self) {
         match self {
             Self::Expression(expr) => expr.assert_supported(),
-            Self::List(_) => panic!("Initializer::List"),
+            Self::List(items) => items.assert_supported(),
         }
     }
 }
 
+impl AssertSupported for InitializerListItem {
+    fn assert_supported(&self) {
+        assert!(self.designation.is_empty());
+        self.initializer.assert_supported();
+    }
+}
+
 impl AssertSupported for Declarator {
     fn assert_supported(&self) {
         self.kind.assert_supported();

src/ir/mod.rs

@@ -611,10 +611,9 @@ impl TryFrom<&ast::Initializer> for Constant {
     type Error = ();
 
     fn try_from(initializer: &ast::Initializer) -> Result<Self, Self::Error> {
-        if let ast::Initializer::Expression(expr) = &initializer {
+        match initializer {
-            Self::try_from(&expr.node)
+            ast::Initializer::Expression(expr) => Self::try_from(&expr.node),
-        } else {
+            ast::Initializer::List(_) => todo!(),
-            Err(())
         }
     }
 }

tests/fuzz.py

@@ -57,6 +57,9 @@ REPLACE_DICT = {
     # "typedef struct[^\n]*\n{[^}]*}[^;]*;": "",
     # "typedef struct[^{]{[^}]*}": "typedef int",
     # "struct _IO_FILE": "int",
+    # "FILE *": "void *",
+    # "typedef __fpos_t fpos_t;": "",
+    # "fpos_t *": "void *",
 }
 CSMITH_DIR = "csmith-2.3.0"