]> granicus.if.org Git - postgresql/commit
Fix lexing of standard multi-character operators in edge cases.
authorAndrew Gierth <rhodiumtoad@postgresql.org>
Thu, 23 Aug 2018 17:29:18 +0000 (18:29 +0100)
committerAndrew Gierth <rhodiumtoad@postgresql.org>
Thu, 23 Aug 2018 20:42:40 +0000 (21:42 +0100)
commita40631a920accbcca1a49a909d380308d95b4674
treebacee027ae5232379b4bba9474ccfddfe4c9ac95
parentd4a63f829702cf28adb5db7e2ed44d2d9d893451
Fix lexing of standard multi-character operators in edge cases.

Commits c6b3c939b (which fixed the precedence of >=, <=, <> operators)
and 865f14a2d (which added support for the standard => notation for
named arguments) created a class of lexer tokens which look like
multi-character operators but which have their own token IDs distinct
from Op. However, longest-match rules meant that following any of
these tokens with another operator character, as in (1<>-1), would
cause them to be incorrectly returned as Op.

The error here isn't immediately obvious, because the parser would
usually still find the correct operator via the Op token, but there
were more subtle problems:

1. If immediately followed by a comment or +-, >= <= <> would be given
   the old precedence of Op rather than the correct new precedence;

2. If followed by a comment, != would be returned as Op rather than as
   NOT_EQUAL, causing it not to be found at all;

3. If followed by a comment or +-, the => token for named arguments
   would be lexed as Op, causing the argument to be mis-parsed as a
   simple expression, usually causing an error.

Fix by explicitly checking for the operators in the {operator} code
block in addition to all the existing special cases there.

Backpatch to 9.5 where the problem was introduced.

Analysis and patch by me; review by Tom Lane.
Discussion: https://postgr.es/m/87va851ppl.fsf@news-spur.riddles.org.uk
src/backend/parser/scan.l
src/fe_utils/psqlscan.l
src/interfaces/ecpg/preproc/pgc.l
src/test/regress/expected/create_operator.out
src/test/regress/expected/polymorphism.out
src/test/regress/sql/create_operator.sql
src/test/regress/sql/polymorphism.sql