blob: 83843f78d75c6d73f6d29f391c7b2be8b23c0d10 (
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 "_stdio.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)
*/
|
