panicked at: 'Not sure how to get the size of VoidType'

[Badel2]

I wanted to test if a simple function can panic:

pub fn panic_if_not_zero(x: u32) {
    assert_eq!(x, 0);
}

But haybale panicked at 'Not sure how to get the size of VoidType'. I guess that's because the function returns void and that's not supported.

I tried to patch it by setting the size of VoidType to 0 and it seems to work:

diff --git a/src/project.rs b/src/project.rs
index 058c5ff..d171e2d 100644
--- a/src/project.rs
+++ b/src/project.rs
@@ -350,6 +350,7 @@ impl Project {
                 (NamedStructDef::Opaque, _) => None,
                 (NamedStructDef::Defined(ty), _) => self.size_in_bits(&ty),
             },
+            Type::VoidType => Some(0),
             ty => panic!("Not sure how to get the size of {:?}", ty),
         }
     }

[cdisselkoen]

Yep, I was able to reproduce this. Haybale definitely supports functions returning void, but get_possible_return_values_of_func() seems like it barfs on void functions. Working on fixing this now.

I think that having size_in_bits() return 0 doesn't completely fix the problem, as size_in_bits() is sometimes used to determine the size of a Boolector BV, and trying to create a Boolector BV of size 0 is an error --- so I think either size_in_bits() needs a different way to indicate void type, or more consumers of size_in_bits() need to check whether it gave them 0 and proceed appropriately.

[cdisselkoen]

This should be fixed now on master. I also added your simple function as a regression test. Thanks for the report!