Marko Kreen <markokr@gmail.com> writes:
> On 4/18/09, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> The point has come up before, and I kinda thought we *had* changed the
>> lexer to reject \000. I see we haven't though. Curiously, this
>> does fail:
>>
>> regression=# select U&'abc\0000xyz';
>> ERROR: invalid byte sequence for encoding "SQL_ASCII": 0x00
> I think that's because out verifier actually *does* reject \0,
> only problem is that \0 does not set saw_high_bit flag,
> so the verifier simply does not get executed.
> But U& executes it always.
I fixed this in HEAD.
regards, tom lane