pdo_mysql: "--" should be followed by a whitespace character

This required changing how YYFILL works, with no apparent regressions
This commit is contained in:
Matteo Beccati 2024-05-10 16:47:30 +02:00
parent 3096ffa7ab
commit 037243ccd7
No known key found for this signature in database
4 changed files with 15 additions and 5 deletions

View file

@ -28,7 +28,7 @@ int pdo_mysql_scanner(pdo_scanner_t *s)
/*!re2c
BINDCHR = [:][a-zA-Z0-9_]+;
QUESTION = [?];
COMMENTS = ("/*"([^*]+|[*]+[^/*])*[*]*"*/"|("--"|[#])[^\r\n]*);
COMMENTS = ("/*"([^*]+|[*]+[^/*])*[*]*"*/"|(("--"[ \t\v\f\r])|[#]).*);
SPECIALS = [:?"'`/#-];
MULTICHAR = ([:]{2,}|[?]{2,});
ANYNOEOF = [\001-\377];