summaryrefslogtreecommitdiff
path: root/test/trans.d/case/goto1_crack.rl
diff options
context:
space:
mode:
Diffstat (limited to 'test/trans.d/case/goto1_crack.rl')
-rw-r--r--test/trans.d/case/goto1_crack.rl60
1 files changed, 60 insertions, 0 deletions
diff --git a/test/trans.d/case/goto1_crack.rl b/test/trans.d/case/goto1_crack.rl
new file mode 100644
index 00000000..6a124918
--- /dev/null
+++ b/test/trans.d/case/goto1_crack.rl
@@ -0,0 +1,60 @@
+//
+// @LANG: crack
+// @GENERATED: true
+//
+
+import crack.io cout;
+import crack.lang Buffer;
+
+int target;
+
+%%{
+ machine goto1;
+
+ unused := 'unused';
+
+ one := 'one' @{cout.format( "one\n" );
+target = fentry(main);
+fgoto *target;};
+
+ two := 'two' @{cout.format( "two\n" );
+target = fentry(main);
+fgoto *target;};
+
+ main :=
+ '1' @{target = fentry(one);
+fgoto *target;}
+ | '2' @{target = fentry(two);
+fgoto *target;}
+ | '\n';
+}%%
+
+
+
+%% write data;
+
+void m( String s )
+{
+ byteptr data = s.buffer;
+ int p = 0;
+ int pe = s.size;
+ int cs;
+ String buffer;
+
+ %% write init;
+ %% write exec;
+
+ if ( cs >= goto1_first_final ) {
+ cout `ACCEPT\n`;
+ }
+ else {
+ cout `FAIL\n`;
+ }
+}
+
+void main()
+{
+ m( "1one2two1one\n" );
+}
+
+main();