Example #1
0
void HTFWriter_put_character( HTStream *me, char c )
{
  if ( me->fp )
  {
    _IO_putc( c, &me->fp );
  }
  return;
}
Example #2
0
static void error(int status , int errnum , char const   *message  , ...) 
{ 
  va_list args ;
  char *tmp ;
  char *__cil_tmp6 ;
  char *__cil_tmp7 ;

  {
#line 289
  if (! interactive) {
    {
#line 291
    fflush(stdout);
#line 292
    fprintf((FILE */* __restrict  */)stderr, (char const   */* __restrict  */)"%s: ",
            program_name);
    }
  }
  {
#line 295
  __builtin_va_start(args, message);
#line 296
  vfprintf((FILE */* __restrict  */)stderr, (char const   */* __restrict  */)message,
           args);
#line 297
  __builtin_va_end(args);
  }
#line 299
  if (errnum) {
    {
#line 300
    tmp = strerror(errnum);
#line 300
    fprintf((FILE */* __restrict  */)stderr, (char const   */* __restrict  */)": %s",
            tmp);
    }
  }
  {
#line 301
  _IO_putc('\n', stderr);
#line 302
  fflush(stderr);
  }
#line 303
  if (status) {
    {
#line 304
    exit(status);
    }
  }
#line 305
  return;
}
}
extern __inline __attribute__ ((__gnu_inline__)) int
putchar (int __c)
{
  return _IO_putc (__c, stdout);
}
Example #4
0
int
putc(int ch, void *stream)
{
        return _IO_putc(ch, stream);
}