[CIL users] Partial handling of GCC extensions.

[Gabriele P. <gab...@gm...>]

I'm trying to use GCC to reprocess a file containing some Gcc
extension to a source file without these, as i read it to be possible
in the documentation.
It partially does it's job but it leaves some around, for example the
following lines are contained in the CIL postprocessed source file.

extern __attribute__((__nothrow__)) int *__errno_location(void)
__attribute__((__const__)) ;
extern __attribute__((__nothrow__)) int atexit(void (*__func)(void) )
__attribute__((__nonnull__(1))) ;
extern __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) ;

Are these __attribute__ definition supposed to be there? Am i doing
something wrong?
Also, in other part of the code i've seen the __restrict word which is
not standard as far as i know.
Is there the possibility to remove these and have a fully clean code
or these extension are not supported or explicitly allowed by CIL?

Thanks.
Gabriele Palma
PhD Student at University of Genova