Le 2015-10-06 20:55, ThanhVu (Vu) Nguyen a écrit :
> _Static_assert ((SIZEOF (backup_args) / SIZEOF *(backup_args)) ==
> (SIZEOF (backup_types) / SIZEOF *(backup_types)) + 1, "verify ("
> "ARRAY_CARDINALITY (backup_args) == ARRAY_CARDINALITY (backup_types)
> +
> 1" ")");
_Static_assert seems to be introduced by C11, which CIL does not
support. I'm not really sure how hard it would be to add: from CIL's
point of view, it seems to be nothing more than a function taking a bool
and a string as parameter, but I might be missing something.
You could try editing cil.ml around that line:
https://github.com/cil-project/cil/blob/d9d6a08b8017dea996f3f6a4eef07dc017682d6d/src/cil.ml#L2847
to add something like:
H.add h "_Static_assert" (voidType, [ TInt (IBool, []);
charConstPtrType ], false);
Best,
--
Gabriel
------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
