]> granicus.if.org Git - re2c/commitdiff
Added some more on 're2c:startlabel = <integer>;' configuration.
authorUlya Trofimovich <skvadrik@gmail.com>
Wed, 27 May 2015 15:48:32 +0000 (16:48 +0100)
committerUlya Trofimovich <skvadrik@gmail.com>
Wed, 27 May 2015 15:48:32 +0000 (16:48 +0100)
re2c/test/segfault_full_range_star_startlabel2.ci.c [new file with mode: 0644]
re2c/test/segfault_full_range_star_startlabel2.ci.re [new file with mode: 0644]
re2c/test/segfault_full_range_star_startlabel2.i.c [new file with mode: 0644]
re2c/test/segfault_full_range_star_startlabel2.i.re [new file with mode: 0644]

diff --git a/re2c/test/segfault_full_range_star_startlabel2.ci.c b/re2c/test/segfault_full_range_star_startlabel2.ci.c
new file mode 100644 (file)
index 0000000..3bbb7ba
--- /dev/null
@@ -0,0 +1,20 @@
+/* Generated by re2c */
+
+{
+       YYCTYPE yych;
+yy0:
+       switch (YYGETCONDITION()) {
+       case yycc1: goto yyc_c1;
+       }
+/* *********************************** */
+yyc_c1:
+       goto yy1;
+yy2:
+       ++YYCURSOR;
+yy1:
+       if (YYLIMIT <= YYCURSOR) YYFILL(1);
+       yych = *YYCURSOR;
+       goto yy2;
+       {}
+}
+
diff --git a/re2c/test/segfault_full_range_star_startlabel2.ci.re b/re2c/test/segfault_full_range_star_startlabel2.ci.re
new file mode 100644 (file)
index 0000000..a178ead
--- /dev/null
@@ -0,0 +1,4 @@
+/*!re2c
+       re2c:startlabel = 1;
+       <c1> [^]*       {}
+*/
diff --git a/re2c/test/segfault_full_range_star_startlabel2.i.c b/re2c/test/segfault_full_range_star_startlabel2.i.c
new file mode 100644 (file)
index 0000000..9d406ce
--- /dev/null
@@ -0,0 +1,14 @@
+/* Generated by re2c */
+
+{
+       YYCTYPE yych;
+       goto yy0;
+yy1:
+       ++YYCURSOR;
+yy0:
+       if (YYLIMIT <= YYCURSOR) YYFILL(1);
+       yych = *YYCURSOR;
+       goto yy1;
+       {}
+}
+
diff --git a/re2c/test/segfault_full_range_star_startlabel2.i.re b/re2c/test/segfault_full_range_star_startlabel2.i.re
new file mode 100644 (file)
index 0000000..57e99b3
--- /dev/null
@@ -0,0 +1,4 @@
+/*!re2c
+       re2c:startlabel = 1;
+       [^]*    {}
+*/