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 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
|
/* Generated by re2c */
// re2c $INPUT -o $OUTPUT -i --posix-captures --dump-cfg --fixed-tags toplevel
{
YYCTYPE yych;
if (YYLIMIT <= YYCURSOR) YYFILL(1);
yych = *YYCURSOR;
switch (yych) {
case 'a':
yyt1 = YYCURSOR;
yyt2 = YYCURSOR;
goto yy2;
default:
yyt1 = YYCURSOR;
yyt2 = NULL;
yyt3 = NULL;
goto yy1;
}
yy1:
yynmatch = 2;
yypmatch[0] = yyt1;
yypmatch[2] = yyt2;
yypmatch[3] = yyt3;
yypmatch[1] = YYCURSOR;
{}
yy2:
++YYCURSOR;
if (YYLIMIT <= YYCURSOR) YYFILL(1);
yych = *YYCURSOR;
switch (yych) {
case 'a':
yyt2 = YYCURSOR;
goto yy2;
default:
yyt3 = YYCURSOR;
goto yy1;
}
}
debug/cfg.re:3:11: warning: rule matches empty string [-Wmatch-empty-string]
digraph CFG {
rankdir=LR
node[shape=Mrecord fontname=Terminus height=0.2 width=0.2]
edge[arrowhead=vee fontname=Terminus]
n0 [label="0\n/\nneed:"]
n0 -> n1 [style=solid]
n0 -> n3 [style=solid]
n1 [label="1\n5↑ 4↑ /\nneed: 4 5"]
n1 -> n2 [style=solid]
n1 -> n4 [style=solid]
n2 [label="2\n5↑ /\nneed: 4 5"]
n2 -> n2 [style=solid]
n2 -> n4 [style=solid]
n3 [label="3\n3↓ 2↓ 1↑ /1 2 3 \nneed: 1 2 3"]
n4 [label="4\n2=5 1=4 3↑ /1 2 3 \nneed: 1 2 3"]
}
digraph CFG {
rankdir=LR
node[shape=Mrecord fontname=Terminus height=0.2 width=0.2]
edge[arrowhead=vee fontname=Terminus]
n0 [label="0\n/\nneed:"]
n0 -> n1 [style=solid]
n0 -> n3 [style=solid]
n1 [label="1\n1↑ 2↑ /\nneed: 1 2"]
n1 -> n2 [style=solid]
n1 -> n4 [style=solid]
n2 [label="2\n2↑ /\nneed: 1 2"]
n2 -> n2 [style=solid]
n2 -> n4 [style=solid]
n3 [label="3\n1↑ 2↓ 3↓ /1 2 3 \nneed: 1 2 3"]
n4 [label="4\n3↑ /1 2 3 \nneed: 1 2 3"]
}
|