[kernel] Parsing attributes-exotic.i (no preprocessing)
/* Generated by Frama-C */
extern  __attribute__((__nothrow__)) int libc_remove(char const *__filename) __attribute__((
__leaf__));
extern int libc_remove(char const *__filename)
{
  int __retres;
  __retres = 0;
  return __retres;
}

extern int libc_fclose(int *__stream) __attribute__((__nonnull__(1)));
extern int libc_fclose(int *__stream)
{
  int __retres;
  __retres = 0;
  return __retres;
}

extern  __attribute__((__nothrow__)) int __sigsetjmp_cancel(void *__env[1],
                                                            int __savemask) __asm__("__sigsetjmp") __attribute__((
__returns_twice__));
extern int __sigsetjmp_cancel(void *__env[1], int __savemask)
{
  int __retres;
  __retres = 0;
  return __retres;
}

extern int mpz_fits_sint_p(void *) __attribute__((__pure__));
extern int mpz_fits_sint_p(void *)
{
  int __retres;
  __retres = 0;
  return __retres;
}

void signame(void) __attribute__((__signal__));
void signame(void)
{
  return;
}

void __attribute__((__warning__("curl_easy_setopt expects a long argument"))) ( __attribute__((
__noinline__)) _curl_easy_setopt_err)(void) __attribute__((__unused__));
void __attribute__((__warning__("curl_easy_setopt expects a long argument"))) ( __attribute__((
__noinline__)) _curl_easy_setopt_err)(void)
{
  return;
}

void body(void)
{
  int save_hook __attribute__((__unused__, __cleanup__(pop_function)));
  return;
}