blob: 2f105f6a6c5126355417ece005904ac32ec92a07 (
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
35
36
|
#include <stdio.h>
#include "_stdio.h"
/** get the file stream position indicator **/
int fgetpos(FILE * restrict stream, fpos_t * restrict pos)
{
SIGNAL_SAFE(0);
ASSERT_STREAM(stream, 0, 0);
ASSERT_NONNULL(pos);
ASSERT_NOOVERLAP(stream, sizeof(*stream), pos, sizeof(*pos));
flockfile(stream);
if (!(pos->__impl >= stream->fpos && pos->__impl <= stream->fpos + stream->nfpos)) {
struct __fpos_t *tmp = realloc(stream->fpos, sizeof(*stream->fpos) * (stream->nfpos + 1));
if (tmp == NULL) {
abort();
}
stream->fpos = tmp;
pos->__impl = &(stream->fpos[stream->nfpos++]);
}
pos->__impl->pos = ftell(stream);
funlockfile(stream);
return 0;
}
/***
stores the current value of the file position indicator
for ARGUMENT(stream) into the TYPEDEF(fpos_t) at ARGUMENT(pos).
***/
/*
UNSPECIFIED(The information stored in TYPEDEF(fpos_t))
STDC(1)
*/
|
