c2hs is calculating the sizeof glib's GValue structure incorrectly (this
led to a nasty bug).
GValue is defined like this:
struct _GValue
{
/*< private >*/
GType g_type;
/* public for GTypeValueTable methods */
union {
gint v_int;
guint v_uint;
glong v_long;
gulong v_ulong;
gint64 v_int64;
guint64 v_uint64;
gfloat v_float;
gdouble v_double;
gpointer v_pointer;
} data[2];
};
We used to use this code:
allocaGValue :: (GValue -> IO b) -> IO b
allocaGValue body =
allocaBytes {# sizeof GValue #} $ \gvPtr -> do
...
but we eventually discovered that {# sizeof GValue #} was giving us the
wrong value, I think it was 8. The right value should be 8+8+4=20.
Our current workaround is:
allocaGValue :: (GValue -> IO b) -> IO b
allocaGValue body =
-- c2hs is broken in that it can't handle arrays of compound arrays in the
-- sizeof hook
allocaBytes ({# sizeof GType #}+ 2* {# sizeof guint64 #}) $ \gvPtr -> do
Axel also added this temporary hack so that at least c2hs would report
an error rather the giving the wrong answer:
--- ../build/gtk2hs-0.9.10/tools/c2hs/c/CTrav.hs 2004-11-21 21:05:27.000000000 +0000
+++ ../build/gtk2hs/tools/c2hs/c/CTrav.hs 2006-04-25 18:53:10.000000000 +0100
@@ -73,7 +73,7 @@
--
isTypedef, simplifyDecl, declrFromDecl, declrNamed,
declaredDeclr, declaredName, structMembers, expandDecl,
- structName, enumName, tagName, isPtrDeclr, dropPtrDeclr,
+ structName, enumName, tagName, isArrDeclr, isPtrDeclr, dropPtrDeclr,
isPtrDecl, isFunDeclr, structFromDecl, funResultAndArgs,
chaseDecl, findAndChaseDecl, checkForAlias,
checkForOneAliasName, lookupEnum, lookupStructUnion,
@@ -537,6 +537,16 @@
isPtrDeclr (CFunDeclr declr _ _ _) = isPtrDeclr declr
isPtrDeclr _ = False
+-- checks whether the given declarator defines an object that is an array of
+-- some other type (EXPORTED)
+--
+-- * difference between arrays and pure pointers is important for size
+-- calculations
+--
+isArrDeclr :: CDeclr -> Bool
+isArrDeclr (CArrDeclr declr _ _) = True
+isArrDeclr _ = False
+
-- drops the first pointer level from the given declarator (EXPORTED)
--
-- * the declarator must declare a pointer object
--- ../build/gtk2hs-0.9.10/tools/c2hs/gen/GenBind.hs 2005-10-17 21:41:30.000000000 +0100
+++ ../build/gtk2hs/tools/c2hs/gen/GenBind.hs 2006-04-25 18:53:10.000000000 +0100
@@ -1665,6 +1667,8 @@
-- * we make use of the assertion that `extractCompType' can only return a
-- `DefinedET' when the declaration is a pointer declaration
--
+sizeAlignOf (CDecl specs [(Just declr, _, size)] ats) | isArrDeclr declr =
+ interr $ "sizeAlignOf: calculating size of constant array not supported."
sizeAlignOf cdecl =
do
ct <- extractCompType cdecl
So, that's the temporary solution. Of course it'd be better if we could
actually calculate this struct size.
This issue of struct sizes (and alignments) is probably an area that
needs more testing (and on other arches since eg MS packs bit-fields
differently). Perhaps we could write a prog that scans a header file and
generates a .chs and .hsc file with {# sizeof #} hooks for every
structure. Then we could compare the two (with various headers and on
various platforms) and see where the remaining issues are. Using .hsc as
a reference would be the right thing here because hsc2hs uses gcc to
find the struct size. That same kind of test would also do for struct
member offsets.
Duncan
