/* Generated by re2c */
// re2c $INPUT -o $OUTPUT -i --tags
// This test revealed a bug in liveness analyses that takes place
// during tag deduplication: in loops, live tags added by non-looping
// child paths failed to propagate into looping paths.

// These two cases differ: in one case looping transition goes first (and tags are lost),
// in the other case non-looping transition goes first (and tags are not lost).


{
	YYCTYPE yych;
	if ((YYLIMIT - YYCURSOR) < 2) YYFILL(2);
	yych = *YYCURSOR;
	switch (yych) {
		case 'a':
			yyt1 = YYCURSOR;
			goto yy3;
		case 'b':
			yyt1 = NULL;
			goto yy4;
		default: goto yy1;
	}
yy1:
	++YYCURSOR;
yy2:
	{}
yy3:
	yych = *(YYMARKER = ++YYCURSOR);
	switch (yych) {
		case 'c': goto yy5;
		default: goto yy2;
	}
yy4:
	++YYCURSOR;
	p = yyt1;
	{ p }
yy5:
	++YYCURSOR;
	if (YYLIMIT <= YYCURSOR) YYFILL(1);
	yych = *YYCURSOR;
	switch (yych) {
		case 'a':
			yyt1 = YYCURSOR;
			goto yy7;
		case 'b': goto yy4;
		default: goto yy6;
	}
yy6:
	YYCURSOR = YYMARKER;
	goto yy2;
yy7:
	++YYCURSOR;
	if (YYLIMIT <= YYCURSOR) YYFILL(1);
	yych = *YYCURSOR;
	switch (yych) {
		case 'c': goto yy5;
		default: goto yy6;
	}
}



{
	YYCTYPE yych;
	if ((YYLIMIT - YYCURSOR) < 2) YYFILL(2);
	yych = *YYCURSOR;
	switch (yych) {
		case 'a':
			yyt1 = NULL;
			goto yy11;
		case 'b':
			yyt1 = YYCURSOR;
			goto yy12;
		default: goto yy9;
	}
yy9:
	++YYCURSOR;
yy10:
	{}
yy11:
	++YYCURSOR;
	p = yyt1;
	{ p }
yy12:
	yych = *(YYMARKER = ++YYCURSOR);
	switch (yych) {
		case 'c': goto yy13;
		default: goto yy10;
	}
yy13:
	++YYCURSOR;
	if (YYLIMIT <= YYCURSOR) YYFILL(1);
	yych = *YYCURSOR;
	switch (yych) {
		case 'a': goto yy11;
		case 'b':
			yyt1 = YYCURSOR;
			goto yy15;
		default: goto yy14;
	}
yy14:
	YYCURSOR = YYMARKER;
	goto yy10;
yy15:
	++YYCURSOR;
	if (YYLIMIT <= YYCURSOR) YYFILL(1);
	yych = *YYCURSOR;
	switch (yych) {
		case 'c': goto yy13;
		default: goto yy14;
	}
}

