Re: [v9.2] make_greater_string() does not return a string in some cases

Robert Haas <robertmhaas@gmail.com> writes:
> On Mon, Oct 17, 2011 at 11:54 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> http://www.faqs.org/rfcs/rfc3629.html

> I'm still confused.  The input string is already known to be valid
> UTF-8, so the second byte (if there is one) must be between 0x80 and
> 0xBF.  Therefore it will be neither 0xED nor 0xF4.

I haven't read the patch lately, but ED and F4 are special as *first*
bytes.  Maybe the logic isn't quite right, or you read it wrong?
        regards, tom lane