]> granicus.if.org Git - postgresql/commit
Make CREATE INDEX run expression preprocessing on a proposed index expression
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 27 May 2010 15:59:10 +0000 (15:59 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 27 May 2010 15:59:10 +0000 (15:59 +0000)
commit5a86e5e1930d95f495a134000512d6ca22064338
treeae0ce62e79538fe053f4d3d981c235e3d13aed6a
parent77e50a61ffff34aae8cb3ffa5a7333c1049e5f37
Make CREATE INDEX run expression preprocessing on a proposed index expression
before it checks whether the expression is immutable.  This covers two cases
that were previously handled poorly:

1. SQL function inlining could reduce the apparent volatility of the
expression, allowing an expression to be accepted where it previously would
not have been.  As an example, polymorphic functions must be marked with the
worst-case volatility they have for any argument type, but for specific
argument types they might not be so volatile, so indexing could be allowed.
(Since the planner will refuse to inline functions in cases where the
apparent volatility of the expression would increase, this won't break
any cases that were accepted before.)

2. A nominally immutable function could have default arguments that are
volatile expressions.  In such a case insertion of the defaults will increase
both the apparent and actual volatility of the expression, so it is
*necessary* to check this before allowing the expression to be indexed.

Back-patch to 8.4, where default arguments were introduced.
src/backend/commands/indexcmds.c