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
