blob: 21ef359720e241eaf309714ad14ee245177a8adb (
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
|
#include <stdio.h>
#include <limits.h>
#include "_stdio.h"
/** read a line from stdin **/
char * gets(char *s)
{
SIGNAL_SAFE(0);
/*
RETURN_SUCCESS(ARGUMENT(s));
RETURN_FAILURE(CONSTANT(NULL));
*/
return fgets(s, INT_MAX, stdin);
}
/***
does no bounds checking, is marked obsolete in ISO/IEC 9899:1999, and
has been removed from ISO/IEC 9899:2011. It is a security risk and should not be used.
The THIS() function reads a line of input from IDENTIFIER(stdin) into the array
ARGUMENT(s). Input characters are read until a newline or end-of-file is reached. The
newline will not be appended to ARGUMENT(s). A CHAR(\0) character will be written
after the last character read into the array.
If end-of-file is reached before any characters are read, the contents of ARGUMENT(s)
remain unchanged.
***/
/*
STDC(1,201112)
*/
|
