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 ------------------------------------------------------------------------------ Start uncovering the many advantages of virtual appliances and start using them to simplify application deployment and accelerate your shift to cloud computing. http://p.sf.net/sfu/novell-sfdev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
