[tarantool-patches] Re: [PATCH v2 7/7] sql: store regular identifiers in case-normal form
Kirill Shcherbatov
kshcherbatov at tarantool.org
Wed Mar 20 14:02:46 MSK 2019
>>> 1. You have sql_parser_error, and you used it already in
>>> some other places. Fix it, please, in all touched places.
>>
>> Ok, done.
>>
>>> 2. Why?
>>
>> Because I've added a new test that have created a new additional table.
>
> 1. As I asked multiple times - please, do not put my comments
> out of the context. I see my question 'Why?', but I do not see
> what does it refer to.
- { 8, [[ РуÑÑкий ]], {0} },
- { 9, [[ "руÑÑкий" ]], {"/already exists/"} },
+ { 8, [[ "руÑÑкий" ]], {0} },
+ { 9, [[ Großschreibweise ]], {0} },
+ { 10, [[ РуÑÑкий ]], {"/already exists/"} },
+ { 11, [[ Grossschreibweise ]], {"/already exists/"} },
}
for _, row in ipairs(data) do
@@ -35,7 +37,7 @@ data = {
{ 5, [[ "table1" ]], {5}},
{ 6, [[ "Table1" ]], {6}},
{ 7, [[ руÑÑкий ]], {7}},
- { 8, [[ РуÑÑкий ]], {8}},
+ { 8, [[ "руÑÑкий" ]], {8}},
}
for _, row in ipairs(data) do
@@ -66,7 +68,7 @@ test:do_test(
function ()
return test:drop_all_tables()
end,
- 3)
+ 4)
>> Because I've added a new test that have created a new additional table.
>> diff --git a/src/box/sql/util.c b/src/box/sql/util.c
>> index c89e2e8ab..60133758a 100644
>> --- a/src/box/sql/util.c
>> +++ b/src/box/sql/util.c
>> @@ -292,23 +294,37 @@ sqlDequote(char *z)
>> z[j] = 0;
>> }
>>
>> -
>> -void
>> -sqlNormalizeName(char *z)
>> +int
>> +sql_normalize_name(char *dst, int dst_size, const char *src, int src_len)
>> {
>> - char quote;
>> - int i=0;
>> - if (z == 0)
>> - return;
>> - quote = z[0];
>> - if (sqlIsquote(quote)){
>> - sqlDequote(z);
>> - return;
>> - }
>> - while(z[i]!=0){
>> - z[i] = (char)sqlToupper(z[i]);
>> - i++;
>> + assert(src != NULL);
>> + if (sqlIsquote(src[0])){
>> + if (dst_size == 0)
>> + return src_len;
>> + memcpy(dst, src, src_len);
>> + dst[src_len] = '\0';
>> + sqlDequote(dst);
>> + return src_len;
>
> 2. In the comment you said that sql_normalize_name returns a length
> of result string, but here it is false. sqlDequote can trim some
> symbols and the result length is less. The code works only thanks to
> the fact, that the result of sql_normalize_name is never used as a
> length, but rather as a buffer size. Please, either fix the return value,
> returning a real string length, or change the comment, saying what
> that function returns + its usage places, where you store its result
> into 'name_len' variables (they should be renamed to bsize or something).
I've reworked this routine to always return the size of required buffer and
updated it's comment.
+ * @param dst_size The size of the buffer (number of bytes).
+ * If it is 0, then dest may be NULL and the
+ * function will only return the corresponding
+ * dst_size - this size of buffer that may fit
+ * result.
+ * @param src The original string.
+ * @param src_len The length of the original string.
+ * @retval The count of bytes written(or need to be written) on
+ * success.
+ * @retval < 0 Otherwise. The diag message is set.
+ */
>> +--
>> +-- gh-3931: Store regular identifiers in case-normal form
>> +--
>> +errinj = box.error.injection
>> +errinj.set("ERRINJ_SQL_NAME_NORMALIZATION", true)
>> +box.sql.execute("CREATE TABLE hello (id INT primary key,x INT,y INT);")
>> +errinj.set("ERRINJ_SQL_NAME_NORMALIZATION", false)
>
> 3. We have sql/errinj.test.lua for that.
Moved to sql/errinj.test.lua.
> Below you can find a couple of general comments, which I discovered on the
> top commit, but probably some of them were introduced in the previous
> ones:
>
> 1) delete.c:72: 'where' leaks. It was duplicated on line 68, and you do
> not free it before return; struct SrcList *from = sql_src_list_append(db, NULL, NULL);
if (from == NULL) {
parse->is_aborted = true;
return;
}
where = sqlExprDup(db, where, 0);
> 2) fk_constraint.c:641: why not to return? Here OOM has happened, obviously,
> and there is nothing to cleanup;
Ok, don't mind return.
=============================================
Introduced a new sql_normalize_name routine performing SQL name
conversion to case-normal form via unicode character folding.
For example, ß is converted to SS. The result is similar to SQL
UPPER function.
Closes #3931
---
src/box/lua/lua_sql.c | 11 +++--
src/box/sql/build.c | 32 +++++++++----
src/box/sql/expr.c | 67 ++++++++++++++++++---------
src/box/sql/parse.y | 25 ++++++++--
src/box/sql/select.c | 19 ++++++--
src/box/sql/sqlInt.h | 28 ++++++++++-
src/box/sql/trigger.c | 14 ++++--
src/box/sql/util.c | 46 ++++++++++++------
src/lib/core/errinj.h | 1 +
test/box/errinj.result | 2 +
test/sql-tap/identifier_case.test.lua | 12 +++--
test/sql/errinj.result | 18 +++++++
test/sql/errinj.test.lua | 8 ++++
13 files changed, 215 insertions(+), 68 deletions(-)
diff --git a/src/box/lua/lua_sql.c b/src/box/lua/lua_sql.c
index f5a7b7819..2b3a595af 100644
--- a/src/box/lua/lua_sql.c
+++ b/src/box/lua/lua_sql.c
@@ -176,13 +176,16 @@ lbox_sql_create_function(struct lua_State *L)
}
size_t name_len;
const char *name = lua_tolstring(L, 1, &name_len);
+ int normalized_name_sz = sql_normalize_name(NULL, 0, name, name_len);
+ if (normalized_name_sz < 0)
+ return luaT_error(L);
char *normalized_name = (char *) region_alloc(&fiber()->gc,
- name_len + 1);
+ normalized_name_sz + 1);
if (normalized_name == NULL)
return luaL_error(L, "out of memory");
- memcpy(normalized_name, name, name_len);
- normalized_name[name_len] = '\0';
- sqlNormalizeName(normalized_name);
+ if (sql_normalize_name(normalized_name, normalized_name_sz, name,
+ name_len) < 0)
+ return luaT_error(L);
struct lua_sql_func_info *func_info =
(struct lua_sql_func_info *) malloc(sizeof(*func_info));
if (func_info == NULL)
diff --git a/src/box/sql/build.c b/src/box/sql/build.c
index f527928bf..a5c62a7ee 100644
--- a/src/box/sql/build.c
+++ b/src/box/sql/build.c
@@ -233,13 +233,20 @@ char *
sql_name_from_token(struct sql *db, struct Token *name_token)
{
assert(name_token != NULL && name_token->z != NULL);
- char *name = sqlDbStrNDup(db, name_token->z, name_token->n);
+ int name_sz =
+ sql_normalize_name(NULL, 0, name_token->z, name_token->n);
+ if (name_sz < 0)
+ return NULL;
+ char *name = sqlDbMallocRawNN(db, name_sz);
if (name == NULL) {
- diag_set(OutOfMemory, name_token->n + 1, "sqlDbStrNDup",
- "name");
+ diag_set(OutOfMemory, name_sz, "sqlDbMallocRawNN", "name");
+ return NULL;
+ }
+ if (sql_normalize_name(name, name_sz, name_token->z,
+ name_token->n) < 0) {
+ sqlDbFree(db, name);
return NULL;
}
- sqlNormalizeName(name);
return name;
}
@@ -434,16 +441,21 @@ sqlAddColumn(Parse * pParse, Token * pName, struct type_def *type_def)
if (sql_field_retrieve(pParse, def, def->field_count) == NULL)
return;
struct region *region = &pParse->region;
- z = region_alloc(region, pName->n + 1);
+ int name_sz = sql_normalize_name(NULL, 0, pName->z, pName->n);
+ if (name_sz < 0) {
+ pParse->is_aborted = true;
+ return;
+ }
+ z = region_alloc(region, name_sz);
if (z == NULL) {
- diag_set(OutOfMemory, pName->n + 1,
- "region_alloc", "z");
+ diag_set(OutOfMemory, name_sz, "region_alloc", "z");
+ pParse->is_aborted = true;
+ return;
+ }
+ if (sql_normalize_name(z, name_sz, pName->z, pName->n) < 0) {
pParse->is_aborted = true;
return;
}
- memcpy(z, pName->z, pName->n);
- z[pName->n] = 0;
- sqlNormalizeName(z);
for (uint32_t i = 0; i < def->field_count; i++) {
if (strcmp(z, def->fields[i].name) == 0) {
diag_set(ClientError, ER_SPACE_FIELD_IS_DUPLICATE, z);
diff --git a/src/box/sql/expr.c b/src/box/sql/expr.c
index dad4ce3a6..55ca100c1 100644
--- a/src/box/sql/expr.c
+++ b/src/box/sql/expr.c
@@ -883,7 +883,15 @@ sql_expr_new(struct sql *db, int op, const Token *token, bool dequote)
if (token != NULL) {
if (op != TK_INTEGER || token->z == NULL ||
sqlGetInt32(token->z, &val) == 0) {
- extra_sz = token->n + 1;
+ if (op == TK_ID || op == TK_COLLATE ||
+ op == TK_FUNCTION) {
+ extra_sz = sql_normalize_name(NULL, 0, token->z,
+ token->n);
+ if (extra_sz < 0)
+ return NULL;
+ } else {
+ extra_sz = token->n + 1;
+ }
assert(val >= 0);
}
}
@@ -909,15 +917,20 @@ sql_expr_new(struct sql *db, int op, const Token *token, bool dequote)
} else {
expr->u.zToken = (char *)&expr[1];
assert(token->z != NULL || token->n == 0);
- memcpy(expr->u.zToken, token->z, token->n);
- expr->u.zToken[token->n] = '\0';
- if (dequote) {
- if (expr->u.zToken[0] == '"')
- expr->flags |= EP_DblQuoted;
- if (expr->op == TK_ID || expr->op == TK_COLLATE ||
- expr->op == TK_FUNCTION)
- sqlNormalizeName(expr->u.zToken);
- else
+ if (dequote && expr->u.zToken[0] == '"')
+ expr->flags |= EP_DblQuoted;
+ if (dequote &&
+ (expr->op == TK_ID || expr->op == TK_COLLATE ||
+ expr->op == TK_FUNCTION)) {
+ if (sql_normalize_name(expr->u.zToken, extra_sz,
+ token->z, token->n) < 0) {
+ sqlDbFree(db, expr);
+ return NULL;
+ }
+ } else {
+ memcpy(expr->u.zToken, token->z, token->n);
+ expr->u.zToken[token->n] = '\0';
+ if (dequote)
sqlDequote(expr->u.zToken);
}
}
@@ -1816,18 +1829,30 @@ sqlExprListSetName(Parse * pParse, /* Parsing context */
)
{
assert(pList != 0 || pParse->db->mallocFailed != 0);
- if (pList) {
- struct ExprList_item *pItem;
- assert(pList->nExpr > 0);
- pItem = &pList->a[pList->nExpr - 1];
- assert(pItem->zName == 0);
- pItem->zName = sqlDbStrNDup(pParse->db, pName->z, pName->n);
- if (dequote)
- sqlNormalizeName(pItem->zName);
- /* n = 0 in case of select * */
- if (pName->n != 0)
- sqlCheckIdentifierName(pParse, pItem->zName);
+ if (pList == NULL || pName->n == 0)
+ return;
+ assert(pList->nExpr > 0);
+ struct ExprList_item *item = &pList->a[pList->nExpr - 1];
+ assert(item->zName == NULL);
+ if (dequote) {
+ int name_sz = sql_normalize_name(NULL, 0, pName->z, pName->n);
+ if (name_sz < 0)
+ goto tarantool_error;
+ item->zName = sqlDbMallocRawNN(pParse->db, name_sz);
+ if (item->zName == NULL)
+ return;
+ if (sql_normalize_name(item->zName, name_sz, pName->z,
+ pName->n) < 0)
+ goto tarantool_error;
+ } else {
+ item->zName = sqlDbStrNDup(pParse->db, pName->z, pName->n);
+ if (item->zName == NULL)
+ return;
}
+ sqlCheckIdentifierName(pParse, item->zName);
+ return;
+tarantool_error:
+ pParse->is_aborted = true;
}
/*
diff --git a/src/box/sql/parse.y b/src/box/sql/parse.y
index c48cbd6f9..540d0e077 100644
--- a/src/box/sql/parse.y
+++ b/src/box/sql/parse.y
@@ -851,7 +851,16 @@ idlist(A) ::= nm(Y). {
** that created the expression.
*/
static void spanExpr(ExprSpan *pOut, Parse *pParse, int op, Token t){
- Expr *p = sqlDbMallocRawNN(pParse->db, sizeof(Expr)+t.n+1);
+ int name_sz = 0;
+ struct Expr *p = NULL;
+ if (op != TK_VARIABLE) {
+ name_sz = sql_normalize_name(NULL, 0, t.z, t.n);
+ if (name_sz < 0)
+ goto tarantool_error;
+ } else {
+ name_sz = t.n + 1;
+ }
+ p = sqlDbMallocRawNN(pParse->db, sizeof(Expr) + name_sz);
if( p ){
memset(p, 0, sizeof(Expr));
switch (op) {
@@ -884,10 +893,12 @@ idlist(A) ::= nm(Y). {
p->flags = EP_Leaf;
p->iAgg = -1;
p->u.zToken = (char*)&p[1];
- memcpy(p->u.zToken, t.z, t.n);
- p->u.zToken[t.n] = 0;
- if (op != TK_VARIABLE){
- sqlNormalizeName(p->u.zToken);
+ if (op != TK_VARIABLE) {
+ if (sql_normalize_name(p->u.zToken, name_sz, t.z, t.n) < 0)
+ goto tarantool_error;
+ } else {
+ memcpy(p->u.zToken, t.z, t.n);
+ p->u.zToken[t.n] = 0;
}
#if SQL_MAX_EXPR_DEPTH>0
p->nHeight = 1;
@@ -896,6 +907,10 @@ idlist(A) ::= nm(Y). {
pOut->pExpr = p;
pOut->zStart = t.z;
pOut->zEnd = &t.z[t.n];
+ return;
+tarantool_error:
+ sqlDbFree(pParse->db, p);
+ pParse->is_aborted = true;
}
}
diff --git a/src/box/sql/select.c b/src/box/sql/select.c
index 5bba0b5d0..d4a5a9ec3 100644
--- a/src/box/sql/select.c
+++ b/src/box/sql/select.c
@@ -4194,10 +4194,18 @@ flattenSubquery(Parse * pParse, /* Parsing context */
pList = pParent->pEList;
for (i = 0; i < pList->nExpr; i++) {
if (pList->a[i].zName == 0) {
- char *zName =
- sqlDbStrDup(db, pList->a[i].zSpan);
- sqlNormalizeName(zName);
- pList->a[i].zName = zName;
+ char *str = pList->a[i].zSpan;
+ int len = strlen(str);
+ int name_sz =
+ sql_normalize_name(NULL, 0, str, len);
+ if (name_sz < 0)
+ goto tarantool_error;
+ char *name = sqlDbMallocRawNN(db, name_sz);
+ if (name != NULL &&
+ sql_normalize_name(name, name_sz, str,
+ len) < 0)
+ goto tarantool_error;
+ pList->a[i].zName = name;
}
}
if (pSub->pOrderBy) {
@@ -4274,6 +4282,9 @@ flattenSubquery(Parse * pParse, /* Parsing context */
}
#endif
+ return 1;
+tarantool_error:
+ pParse->is_aborted = true;
return 1;
}
diff --git a/src/box/sql/sqlInt.h b/src/box/sql/sqlInt.h
index 13d0b16f8..120eedfa6 100644
--- a/src/box/sql/sqlInt.h
+++ b/src/box/sql/sqlInt.h
@@ -3195,7 +3195,33 @@ void sqlTreeViewWith(TreeView *, const With *);
void sqlSetString(char **, sql *, const char *);
void sqlErrorMsg(Parse *, const char *, ...);
void sqlDequote(char *);
-void sqlNormalizeName(char *z);
+
+/**
+ * Perform SQL name normalization: cast name to the upper-case
+ * (via Unicode Character Folding). Casing is locale-dependent
+ * and context-sensitive. The result may be longer or shorter
+ * than the original. The source string and the destination buffer
+ * must not overlap.
+ * For example, ß is converted to SS.
+ * The result is similar to SQL UPPER function.
+ *
+ * @param dst A buffer for the result string. The result will be
+ * NUL-terminated if the buffer is large enough. The
+ * contents is undefined in case of failure.
+ * @param dst_size The size of the buffer (number of bytes).
+ * If it is 0, then dest may be NULL and the
+ * function will only return the corresponding
+ * dst_size - this size of buffer that may fit
+ * result.
+ * @param src The original string.
+ * @param src_len The length of the original string.
+ * @retval The count of bytes written(or need to be written) on
+ * success.
+ * @retval < 0 Otherwise. The diag message is set.
+ */
+int
+sql_normalize_name(char *dst, int dst_size, const char *src, int src_len);
+
void sqlTokenInit(Token *, char *);
int sqlKeywordCode(const unsigned char *, int);
int sqlRunParser(Parse *, const char *);
diff --git a/src/box/sql/trigger.c b/src/box/sql/trigger.c
index 544ba2a5a..16d0f7fe6 100644
--- a/src/box/sql/trigger.c
+++ b/src/box/sql/trigger.c
@@ -279,15 +279,23 @@ sql_trigger_select_step(struct sql *db, struct Select *select)
static struct TriggerStep *
sql_trigger_step_new(struct sql *db, u8 op, struct Token *target_name)
{
+ int name_sz =
+ sql_normalize_name(NULL, 0, target_name->z, target_name->n);
+ if (name_sz < 0)
+ return NULL;
int size = sizeof(struct TriggerStep) + target_name->n + 1;
struct TriggerStep *trigger_step = sqlDbMallocZero(db, size);
if (trigger_step == NULL) {
- diag_set(OutOfMemory, size, "sqlDbMallocZero", "trigger_step");
+ diag_set(OutOfMemory, name_sz, "sqlDbMallocZero",
+ "trigger_step");
return NULL;
}
char *z = (char *)&trigger_step[1];
- memcpy(z, target_name->z, target_name->n);
- sqlNormalizeName(z);
+ if (sql_normalize_name(z, name_sz, target_name->z,
+ target_name->n) < 0) {
+ sqlDbFree(db, trigger_step);
+ return NULL;
+ }
trigger_step->zTarget = z;
trigger_step->op = op;
return trigger_step;
diff --git a/src/box/sql/util.c b/src/box/sql/util.c
index d9bb2afda..ea8283406 100644
--- a/src/box/sql/util.c
+++ b/src/box/sql/util.c
@@ -41,6 +41,8 @@
#if HAVE_ISNAN || SQL_HAVE_ISNAN
#include <math.h>
#endif
+#include <unicode/ucasemap.h>
+#include "errinj.h"
/*
* Routine needed to support the testcase() macro.
@@ -285,23 +287,37 @@ sqlDequote(char *z)
z[j] = 0;
}
-
-void
-sqlNormalizeName(char *z)
+int
+sql_normalize_name(char *dst, int dst_size, const char *src, int src_len)
{
- char quote;
- int i=0;
- if (z == 0)
- return;
- quote = z[0];
- if (sqlIsquote(quote)){
- sqlDequote(z);
- return;
- }
- while(z[i]!=0){
- z[i] = (char)sqlToupper(z[i]);
- i++;
+ assert(src != NULL);
+ if (sqlIsquote(src[0])){
+ if (dst_size == 0)
+ return src_len + 1;
+ memcpy(dst, src, src_len);
+ dst[src_len] = '\0';
+ sqlDequote(dst);
+ return src_len + 1;
}
+ UErrorCode status = U_ZERO_ERROR;
+ ERROR_INJECT(ERRINJ_SQL_NAME_NORMALIZATION, {
+ status = U_MEMORY_ALLOCATION_ERROR;
+ goto error;
+ });
+ UCaseMap *case_map = ucasemap_open(NULL, 0, &status);
+ if (case_map == NULL)
+ goto error;
+ int len = ucasemap_utf8ToUpper(case_map, dst, dst_size, src, src_len,
+ &status);
+ ucasemap_close(case_map);
+ assert(U_SUCCESS(status) ||
+ (dst_size == 0 && status == U_BUFFER_OVERFLOW_ERROR));
+ return len + 1;
+error:
+ diag_set(CollationError,
+ "string conversion to the uppercase failed: %s",
+ u_errorName(status));
+ return -1;
}
/*
diff --git a/src/lib/core/errinj.h b/src/lib/core/errinj.h
index 41783cc74..c823d3597 100644
--- a/src/lib/core/errinj.h
+++ b/src/lib/core/errinj.h
@@ -125,6 +125,7 @@ struct errinj {
_(ERRINJ_VY_COMPACTION_DELAY, ERRINJ_BOOL, {.bparam = false}) \
_(ERRINJ_TUPLE_FORMAT_COUNT, ERRINJ_INT, {.iparam = -1}) \
_(ERRINJ_MEMTX_DELAY_GC, ERRINJ_BOOL, {.bparam = false}) \
+ _(ERRINJ_SQL_NAME_NORMALIZATION, ERRINJ_BOOL, {.bparam = false}) \
ENUM0(errinj_id, ERRINJ_LIST);
extern struct errinj errinjs[];
diff --git a/test/box/errinj.result b/test/box/errinj.result
index 8e76b21b3..b657234e1 100644
--- a/test/box/errinj.result
+++ b/test/box/errinj.result
@@ -22,6 +22,8 @@ errinj.info()
state: false
ERRINJ_SNAP_WRITE_ROW_TIMEOUT:
state: 0
+ ERRINJ_SQL_NAME_NORMALIZATION:
+ state: false
ERRINJ_VY_SCHED_TIMEOUT:
state: 0
ERRINJ_WAL_WRITE_PARTIAL:
diff --git a/test/sql-tap/identifier_case.test.lua b/test/sql-tap/identifier_case.test.lua
index 74c7ce2fb..9c800dd2c 100755
--- a/test/sql-tap/identifier_case.test.lua
+++ b/test/sql-tap/identifier_case.test.lua
@@ -1,6 +1,6 @@
#!/usr/bin/env tarantool
test = require("sqltester")
-test:plan(71)
+test:plan(73)
local test_prefix = "identifier_case-"
@@ -13,8 +13,10 @@ local data = {
{ 6, [[ "Table1" ]], {0} },
-- non ASCII characters case is not supported
{ 7, [[ русский ]], {0} },
- { 8, [[ Русский ]], {0} },
- { 9, [[ "русский" ]], {"/already exists/"} },
+ { 8, [[ "русский" ]], {0} },
+ { 9, [[ Großschreibweise ]], {0} },
+ { 10, [[ Русский ]], {"/already exists/"} },
+ { 11, [[ Grossschreibweise ]], {"/already exists/"} },
}
for _, row in ipairs(data) do
@@ -35,7 +37,7 @@ data = {
{ 5, [[ "table1" ]], {5}},
{ 6, [[ "Table1" ]], {6}},
{ 7, [[ русский ]], {7}},
- { 8, [[ Русский ]], {8}},
+ { 8, [[ "русский" ]], {8}},
}
for _, row in ipairs(data) do
@@ -66,7 +68,7 @@ test:do_test(
function ()
return test:drop_all_tables()
end,
- 3)
+ 4)
data = {
{ 1, [[ columnn ]], {0} },
diff --git a/test/sql/errinj.result b/test/sql/errinj.result
index a1e7cc4a3..c974ab714 100644
--- a/test/sql/errinj.result
+++ b/test/sql/errinj.result
@@ -388,3 +388,21 @@ errinj.set("ERRINJ_WAL_DELAY", false)
---
- ok
...
+--
+-- gh-3931: Store regular identifiers in case-normal form
+--
+errinj = box.error.injection
+---
+...
+errinj.set("ERRINJ_SQL_NAME_NORMALIZATION", true)
+---
+- ok
+...
+box.sql.execute("CREATE TABLE hello (id INT primary key,x INT,y INT);")
+---
+- error: 'string conversion to the uppercase failed: U_MEMORY_ALLOCATION_ERROR'
+...
+errinj.set("ERRINJ_SQL_NAME_NORMALIZATION", false)
+---
+- ok
+...
diff --git a/test/sql/errinj.test.lua b/test/sql/errinj.test.lua
index d8833feb4..f9e7a3c49 100644
--- a/test/sql/errinj.test.lua
+++ b/test/sql/errinj.test.lua
@@ -139,3 +139,11 @@ box.sql.execute("INSERT INTO t VALUES (2);")
box.sql.execute("UPDATE t SET id = 2;")
-- Finish drop space.
errinj.set("ERRINJ_WAL_DELAY", false)
+
+--
+-- gh-3931: Store regular identifiers in case-normal form
+--
+errinj = box.error.injection
+errinj.set("ERRINJ_SQL_NAME_NORMALIZATION", true)
+box.sql.execute("CREATE TABLE hello (id INT primary key,x INT,y INT);")
+errinj.set("ERRINJ_SQL_NAME_NORMALIZATION", false)
--
2.21.0
More information about the Tarantool-patches
mailing list