Re: [CIL users] Parsing coreutils

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

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 PM, Gabriel Kerneis <ga...@ke...>
wrote:

> Le 2015-10-05 22:52, ThanhVu (Vu) Nguyen a écrit :
>
>> /home/tnguyen/Src/Devel/CIL/cil-1.7.3/bin/cilly --merge --save-temps
>> -std=gnu99 -E
>> Line 325 of lib/backupfile.c is
>> ARGMATCH_VERIFY (backup_args, backup_types);
>>
>
> Can you please show us what it expands to in the pre-processed sources?
> Since you already use --save-temps, just lookup the corresponding line in
> the .i file.
>
> Thanks,
> --
> Gabriel
>