Re: [CIL users] Parsing coreutils

[ThanhVu (V. N. <ngu...@gm...>]

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 location.

Vu

On Tue, Oct 6, 2015 at 3:09 PM, Gabriel Kerneis <ga...@ke...>
wrote:

> 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
>