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 <gabr...@kerneis.info>
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
>
------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
