| Server IP : 85.214.239.14 / Your IP : 3.129.195.82 Web Server : Apache/2.4.62 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Tue Jan 9 19:45:01 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.18 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/3/root/proc/self/root/usr/share/doc/re2c/examples/c/eof/ |
Upload File : |
/* Generated by re2c */
#line 1 "c/eof/02_bounds_checking.re"
// re2c $INPUT -o $OUTPUT
#include <assert.h>
#include <stdlib.h>
#include <string.h>
#line 9 "c/eof/02_bounds_checking.c"
#define YYMAXFILL 1
#line 6 "c/eof/02_bounds_checking.re"
static int lex(const char *str, unsigned int len) {
// Make a copy of the string with YYMAXFILL zeroes at the end.
char *buf = (char*) malloc(len + YYMAXFILL);
memcpy(buf, str, len);
memset(buf + len, 0, YYMAXFILL);
const char *YYCURSOR = buf, *YYLIMIT = buf + len + YYMAXFILL;
int count = 0;
loop:
#line 25 "c/eof/02_bounds_checking.c"
{
char yych;
if (YYLIMIT <= YYCURSOR) goto fail;
yych = *YYCURSOR;
switch (yych) {
case 0x00: goto yy1;
case ' ': goto yy3;
case '\'': goto yy5;
default: goto yy2;
}
yy1:
++YYCURSOR;
#line 25 "c/eof/02_bounds_checking.re"
{
// Check that it is the sentinel, not some unexpected null.
if (YYCURSOR - 1 == buf + len) goto exit; else goto fail;
}
#line 43 "c/eof/02_bounds_checking.c"
yy2:
++YYCURSOR;
#line 31 "c/eof/02_bounds_checking.re"
{ goto fail; }
#line 48 "c/eof/02_bounds_checking.c"
yy3:
++YYCURSOR;
if (YYLIMIT <= YYCURSOR) goto fail;
yych = *YYCURSOR;
switch (yych) {
case ' ': goto yy3;
default: goto yy4;
}
yy4:
#line 30 "c/eof/02_bounds_checking.re"
{ goto loop; }
#line 60 "c/eof/02_bounds_checking.c"
yy5:
++YYCURSOR;
if (YYLIMIT <= YYCURSOR) goto fail;
yych = *YYCURSOR;
switch (yych) {
case '\'': goto yy6;
case '\\': goto yy7;
default: goto yy5;
}
yy6:
++YYCURSOR;
#line 29 "c/eof/02_bounds_checking.re"
{ ++count; goto loop; }
#line 74 "c/eof/02_bounds_checking.c"
yy7:
++YYCURSOR;
if (YYLIMIT <= YYCURSOR) goto fail;
goto yy5;
}
#line 32 "c/eof/02_bounds_checking.re"
fail:
count = -1;
exit:
free(buf);
return count;
}
#define TEST(s, r) assert(lex(s, sizeof(s) - 1) == r)
int main() {
TEST("", 0);
TEST("'qu\0tes' 'are' 'fine: \\'' ", 3);
TEST("'unterminated\\'", -1);
TEST("'unexpected \0 null\\'", -1);
return 0;
}