// re2c $INPUT -o $OUTPUT #include <assert.h> #include <stdlib.h> #include <string.h> /*!max:re2c*/ // expect YYMAXFILL-padded string static int lex(const char *str, unsigned int len) { const char *YYCURSOR = str, *YYLIMIT = str + len + YYMAXFILL; int count = 0; loop: /*!re2c re2c:api:style = free-form; re2c:define:YYCTYPE = char; re2c:define:YYFILL = "return -1;"; * { return -1; } [\x00] { return YYCURSOR == YYLIMIT ? count : -1; } ['] ([^'\\] | [\\][^])* ['] { ++count; goto loop; } [ ]+ { goto loop; } */ } // make a copy of the string with YYMAXFILL zeroes at the end static void test(const char *str, unsigned int len, int res) { char *s = (char*) malloc(len + YYMAXFILL); memcpy(s, str, len); memset(s + len, 0, YYMAXFILL); int r = lex(s, len); free(s); assert(r == res); } #define TEST(s, r) test(s, sizeof(s) - 1, r) int main() { TEST("", 0); TEST("'qu\0tes' 'are' 'fine: \\'' ", 3); TEST("'unterminated\\'", -1); return 0; }