debug/dprintf_chk.c

   1 /* Copyright (C) 1991-2014 Free Software Foundation, Inc.
   2    This file is part of the GNU C Library.
   3
   4    The GNU C Library is free software; you can redistribute it and/or
   5    modify it under the terms of the GNU Lesser General Public
   6    License as published by the Free Software Foundation; either
   7    version 2.1 of the License, or (at your option) any later version.
   8
   9    The GNU C Library is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12    Lesser General Public License for more details.
  13
  14    You should have received a copy of the GNU Lesser General Public
  15    License along with the GNU C Library; if not, see
  16    <http://www.gnu.org/licenses/>.  */
  17
  18 #include <libioP.h>
  19 #include <stdarg.h>
  20 #include <stdio.h>
  21
  22
  23 /* Write formatted output to D, according to the format string FORMAT.  */
  24 int
  25 __dprintf_chk (int d, int flags, const char *format, ...)
  26 {
  27   va_list arg;
  28   int done;
  29
  30   va_start (arg, format);
  31   done = __vdprintf_chk (d, flags, format, arg);
  32   va_end (arg);
  33
  34   return done;
  35 }