[tarantool-patches] [PATCH] sql: raise err on CHECK + ON CONFLICT REPLACE

[tarantool-patches] [PATCH] sql: raise err on CHECK + ON CONFLICT REPLACE

[Ivan Koptelov]

Adds error raise in case of CHECK constraint declared with ON
CONFLICT REPLACE action. Before the patch such option was
forbidden, but if a user tried to create space with such constraint,
this attempt failed silently.

Closes #3345
---
Branch https://github.com/tarantool/tarantool/tree/sudobobo/gh-3345-raise-err-on-CHECK-w-ON-CONFLICT-REPLACE
Issue https://github.com/tarantool/tarantool/issues/3345

 src/box/sql/build.c         | 12 ++++++++++++
 test/sql-tap/check.test.lua | 16 +++++++++++++++-
 2 files changed, 27 insertions(+), 1 deletion(-)

diff --git a/src/box/sql/build.c b/src/box/sql/build.c
index 49b90b5d0..e43694e0b 100644
--- a/src/box/sql/build.c
+++ b/src/box/sql/build.c
@@ -761,6 +761,18 @@ sql_add_check_constraint(struct Parse *parser, struct ExprSpan *span)
 {
 	struct Expr *expr = span->pExpr;
 	struct Table *table = parser->pNewTable;
+
+	if (strcasestr(span->zEnd, "on conflict replace") != NULL) {
+		diag_set(ClientError, ER_CREATE_SPACE, table->def->name,
+			 "ON CONFLICT REPLACE action is not allowed for "
+			 "CHECK constraint");
+		parser->rc = SQL_TARANTOOL_ERROR;
+		parser->nErr++;
+		sqlite3DbFree(parser->db, expr->u.zToken);
+
+		goto release_expr;
+	}
+
 	if (table != NULL) {
 		expr->u.zToken =
 			sqlite3DbStrNDup(parser->db, (char *)span->zStart,
diff --git a/test/sql-tap/check.test.lua b/test/sql-tap/check.test.lua
index 1f369fb02..b6e17c059 100755
--- a/test/sql-tap/check.test.lua
+++ b/test/sql-tap/check.test.lua
@@ -1,6 +1,6 @@
 #!/usr/bin/env tarantool
 test = require("sqltester")
-test:plan(58)
+test:plan(59)
 
 --!./tcltestrunner.lua
 -- 2005 November 2
@@ -772,5 +772,19 @@ test:do_execsql_test(
         -- </8.1>
     })
 
+-- gh-3345 : the test checks that ON CONFLICT REPLACE
+-- is not allowed for CHECK constraint.
+test:do_catchsql_test(
+        9.1,
+        [[
+            CREATE TABLE t101 (a INT primary key, b INT, CHECK(b < 10)
+            ON CONFLICT REPLACE)
+        ]], {
+            -- <9.1>
+            1, "Failed to create space 'T101': ON CONFLICT REPLACE " ..
+                    "action is not allowed for CHECK constraint"
+            -- </9.1>
+        })
+
 test:finish_test()
 
-- 
2.14.3 (Apple Git-98)

[tarantool-patches] Re: [PATCH] sql: raise err on CHECK + ON CONFLICT REPLACE

[n.pettik]

> On 4 Feb 2019, at 17:44, Ivan Koptelov <ivan.koptelov@tarantool.org> wrote:
> 
> Adds error raise in case of CHECK constraint declared with ON
> CONFLICT REPLACE action. Before the patch such option was
> forbidden, but if a user tried to create space with such constraint,
> this attempt failed silently.
> 

What is more, now all on conflict actions are ignored for check
constraints. So lets simply fix parser to disallow this clause.
It is quite easy: all you need is to remove onconf rule after CHECK
keyword:

   319	tcons ::= CHECK LP expr(E) RP onconf.
   320	                                 {sql_add_check_constraint(pParse,&E);}

[tarantool-patches] [PATCH] sql: raise err on CHECK + ON CONFLICT REPLACE

[i.koptelov]

> On 5 Feb 2019, at 16:44, n.pettik <korablev@tarantool.org> wrote:
> 
> Please, fix commit message subject. Then LGTM.
Ok, done (on branch)