Michael Paquier <michael(at)paquier(dot)xyz> writes:
> It seems to me that we should also have a `goto cleanup` if
> yylex_init() fails, also pointing at d663f150b5ed that has switched
> the scanner to be reentrant where yylex_init() has been added.
Yeah. The other thing not being covered here is the possibility
that yy_create_buffer fails and returns NULL.
regards, tom lane