blob: 8fc38f9fc039d9588118cc5c62a988380f2ff8f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#include <stdio.h>
#include <stdarg.h>
#include <string.h>
#include "_format.h"
/** write formatted output to a file stream **/
int fprintf_s(FILE * restrict stream, const char * restrict format, ...)
{
SIGNAL_SAFE(0);
ASSERT_NOOVERLAP(stream, sizeof(*stream), format, strlen(format));
int retval;
va_list ap;
va_start(ap, format);
retval = vfprintf_s(stream, format, ap);
va_end(ap);
return retval;
}
/***
The fn(fprintf) function writes a formatted string to arg(stream). The format
of arg(format) and the variadic arguments is the same as that for fn(printf).
***/
/* UNSPECIFIED: ??? */
/* UNDEFINED: ??? */
/* IMPLEMENTATION: ??? */
/* LOCALE: ??? */
/* RETURN(NEG): an error occurred */
/* RETURN: the number of characters written */
/*
CEXT1(201112)
*/
|
