/* Generated by re2c */
// re2c $INPUT -o $OUTPUT -if
// This tests that a use block (that always has its own state switch)
// preceding a non-use block does not affect the generation of a global
// implicit state switch for non-use blocks.



// expect local state switch for a use block

	switch (YYGETSTATE()) {
		case 0: goto yyFillLabel0;
		default: goto yy0;
	}
yy0:
	goto yy1;
yy2:
	++YYCURSOR;
yy1:
	if (YYLIMIT <= YYCURSOR) {
		YYSETSTATE(0);
		YYFILL(1);
	}
yyFillLabel0:
	yych = *YYCURSOR;
	switch (yych) {
		case 'a': goto yy2;
		default: goto yy3;
	}
yy3:
	YYSETSTATE(-1);
	{ return 1; }


// expect global implicit state switch for blocks 'b' and 'c'

	switch (YYGETSTATE()) {
		case 1: goto yyFillLabel1;
		case 3: goto yyFillLabel3;
		default: goto yy4;
	}
yy4:
	goto yy5;
yy6:
	++YYCURSOR;
yy5:
	if (YYLIMIT <= YYCURSOR) {
		YYSETSTATE(1);
		YYFILL(1);
	}
yyFillLabel1:
	yych = *YYCURSOR;
	switch (yych) {
		case 'b': goto yy6;
		default: goto yy7;
	}
yy7:
	YYSETSTATE(-1);
	{ return 2; }


// expect local state switch for a use block

	switch (YYGETSTATE()) {
		case 2: goto yyFillLabel2;
		default: goto yy8;
	}
yy8:
	goto yy9;
yy10:
	++YYCURSOR;
yy9:
	if (YYLIMIT <= YYCURSOR) {
		YYSETSTATE(2);
		YYFILL(1);
	}
yyFillLabel2:
	yych = *YYCURSOR;
	switch (yych) {
		case 'a': goto yy10;
		default: goto yy11;
	}
yy11:
	YYSETSTATE(-1);
	{ return 1; }


// expect no state switch

	goto yy13;
yy14:
	++YYCURSOR;
yy13:
	if (YYLIMIT <= YYCURSOR) {
		YYSETSTATE(3);
		YYFILL(1);
	}
yyFillLabel3:
	yych = *YYCURSOR;
	switch (yych) {
		case 'c': goto yy14;
		default: goto yy15;
	}
yy15:
	YYSETSTATE(-1);
	{ return 3; }

directives/getstate_autogen_use_before_normal.re:7:9: warning: rule matches empty string [-Wmatch-empty-string]
directives/getstate_autogen_use_before_normal.re:15:9: warning: rule matches empty string [-Wmatch-empty-string]
directives/getstate_autogen_use_before_normal.re:7:9: warning: rule matches empty string [-Wmatch-empty-string]
directives/getstate_autogen_use_before_normal.re:23:9: warning: rule matches empty string [-Wmatch-empty-string]
