[CIL users] The tic.ml does not remove the __pure__ attribute of gcc extension option

[Guo H. <hon...@ro...>]

Hi, Shahar Golan
   I am afraid the tic.ml you send me does not remove the __pure__ attribute of gcc extension
option as it is expected.
   The following is the example:
-----------------------------------
#include <stdio.h>

static void __attribute__((__pure__)) d1(void)
{
	printf("hello world!\n");
}

int 
main(void)
{
	d1();
	return 0;
}
-----------------------------------

  The output of cilly.asm.exe is the following:
-----------------------------------
/* Generated by CIL v. 1.3.4 */
/* print_CIL_Input is true */

#line 159 "/usr/include/stdio.h"
extern int ( __attribute__((__cdecl__)) printf)(char const   *  , ...) ;
#line 3 "test4.c"
static void __attribute__((__pure__))  d1(void) 
{ 

  {
#line 5
  printf("hello world!\n");
#line 6
  return;
}
}
#line 8 "test4.c"
int main(void) 
{ 

  {
#line 11
  d1();
#line 12
  return (0);
}
-----------------------------------

 But I think the  defination of dl should be translate into :
-----------------------------------
static void d1(void) 
{ 

  {
#line 5
  printf("hello world!\n");
#line 6
  return;
}
}
-----------------------------------

Why??

Thanks a lot!

Camelguo