I am wondering if this code H.add h "_Static_assert" (voidType, [ TInt
(IBool, []); charConstPtrType ], false); will match
_Static_assert ((*sizeof* (backup_args) / *sizeof* *(backup_args)) == (
*sizeof* (backup_types) / *sizeof* *(backup_types)) + 1, "verify ("
"ARRAY_CARDINALITY
(backup_args) =
I've added this line right above
H.add h "__builtin___fprintf_chk" (intType, [ voidPtrType; intType;
charConstPtrType ], true) (* first argument is really FILE*, not void*, but
we don't want to build in th ...
Then recompile cil, then recompile coreutils but still got the same error
at the same
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 b
Hi Grabiel, it expands to
_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" ")");
in the .i file
Vu
On Tue, Oct 6, 2015 at 2:45
Hi, I am trying to parse the coreutils 8.25 using CIL 1.7.3 (on a Debian 8
64 bit machine) but so far has no success. This is what I've done:
1. Run ./configure in coreutils-8.23 dir to create Makefile
2. Edit the generated Makefile in coreutils-8.23 dir and replace CC,
CPP, and AR wit
