From: imeevma@tarantool.org
To: korablev@tarantool.org, tsafin@tarantool.org,
tarantool-patches@dev.tarantool.org
Subject: [Tarantool-patches] [PATCH v6 04/22] sql: check args of avg(), sum() and total()
Date: Thu, 16 Jul 2020 17:45:49 +0300 [thread overview]
Message-ID: <d64262254e0eef6ac6fca9b0c4c45c2e32399e64.1594909974.git.imeevma@gmail.com> (raw)
In-Reply-To: <cover.1594909974.git.imeevma@gmail.com>
After this patch, the argument types of the avg(), sum() and total()
functions will be checked properly.
Part of #4159
---
src/box/sql/func.c | 18 ++---
test/sql-tap/func.test.lua | 8 +-
test/sql-tap/func5.test.lua | 149 +++++++++++++++++++++++++++++++++++-
3 files changed, 157 insertions(+), 18 deletions(-)
diff --git a/src/box/sql/func.c b/src/box/sql/func.c
index 329554731..ed972fdab 100644
--- a/src/box/sql/func.c
+++ b/src/box/sql/func.c
@@ -1927,18 +1927,10 @@ sum_step(struct sql_context *context, int argc, sql_value **argv)
assert(argc == 1);
UNUSED_PARAMETER(argc);
struct SumCtx *p = sql_aggregate_context(context, sizeof(*p));
- int type = sql_value_type(argv[0]);
+ enum mp_type type = sql_value_type(argv[0]);
if (type == MP_NIL || p == NULL)
return;
- if (type != MP_DOUBLE && type != MP_INT && type != MP_UINT) {
- if (mem_apply_numeric_type(argv[0]) != 0) {
- diag_set(ClientError, ER_SQL_TYPE_MISMATCH,
- sql_value_to_diag_str(argv[0]), "number");
- context->is_aborted = true;
- return;
- }
- type = sql_value_type(argv[0]);
- }
+ assert(type == MP_DOUBLE || type == MP_INT || type == MP_UINT);
p->cnt++;
if (type == MP_INT || type == MP_UINT) {
int64_t v = sql_value_int64(argv[0]);
@@ -2233,7 +2225,7 @@ static struct {
}, {
.name = "AVG",
.param_count = 1,
- .first_arg = FIELD_TYPE_ANY,
+ .first_arg = FIELD_TYPE_NUMBER,
.args = FIELD_TYPE_ANY,
.is_blob_like_str = false,
.returns = FIELD_TYPE_NUMBER,
@@ -2896,7 +2888,7 @@ static struct {
}, {
.name = "SUM",
.param_count = 1,
- .first_arg = FIELD_TYPE_ANY,
+ .first_arg = FIELD_TYPE_NUMBER,
.args = FIELD_TYPE_ANY,
.is_blob_like_str = false,
.returns = FIELD_TYPE_NUMBER,
@@ -2922,7 +2914,7 @@ static struct {
}, {
.name = "TOTAL",
.param_count = 1,
- .first_arg = FIELD_TYPE_ANY,
+ .first_arg = FIELD_TYPE_NUMBER,
.args = FIELD_TYPE_ANY,
.is_blob_like_str = false,
.returns = FIELD_TYPE_NUMBER,
diff --git a/test/sql-tap/func.test.lua b/test/sql-tap/func.test.lua
index 422c8ce58..ffee8f1c5 100755
--- a/test/sql-tap/func.test.lua
+++ b/test/sql-tap/func.test.lua
@@ -893,7 +893,7 @@ test:do_execsql_test(
test:do_execsql_test(
"func-8.5",
[[
- SELECT sum(x) FROM (SELECT '9223372036' || '854775807' AS x
+ SELECT sum(x) FROM (SELECT CAST('9223372036' || '854775807' AS INTEGER) AS x
UNION ALL SELECT -9223372036854775807)
]], {
-- <func-8.5>
@@ -904,7 +904,7 @@ test:do_execsql_test(
test:do_execsql_test(
"func-8.6",
[[
- SELECT typeof(sum(x)) FROM (SELECT '9223372036' || '854775807' AS x
+ SELECT typeof(sum(x)) FROM (SELECT CAST('9223372036' || '854775807' AS INTEGER) AS x
UNION ALL SELECT -9223372036854775807)
]], {
-- <func-8.6>
@@ -915,7 +915,7 @@ test:do_execsql_test(
test:do_execsql_test(
"func-8.7",
[[
- SELECT typeof(sum(x)) FROM (SELECT '9223372036' || '854775808' AS x
+ SELECT typeof(sum(x)) FROM (SELECT CAST('9223372036' || '854775808' AS INTEGER) AS x
UNION ALL SELECT -9223372036854775807)
]], {
-- <func-8.7>
@@ -926,7 +926,7 @@ test:do_execsql_test(
test:do_execsql_test(
"func-8.8",
[[
- SELECT sum(x)>0.0 FROM (SELECT '9223372036' || '854775808' AS x
+ SELECT sum(x)>0.0 FROM (SELECT CAST('9223372036' || '854775808' AS INTEGER) AS x
UNION ALL SELECT -9223372036850000000)
]], {
-- <func-8.8>
diff --git a/test/sql-tap/func5.test.lua b/test/sql-tap/func5.test.lua
index d6d5d4df6..467ba7292 100755
--- a/test/sql-tap/func5.test.lua
+++ b/test/sql-tap/func5.test.lua
@@ -1,6 +1,6 @@
#!/usr/bin/env tarantool
test = require("sqltester")
-test:plan(29)
+test:plan(50)
--!./tcltestrunner.lua
-- 2010 August 27
@@ -346,4 +346,151 @@ test:do_catchsql_test(
1, "Type mismatch: can not convert varbinary to number"
})
+test:do_execsql_test(
+ "func-5-6.2.1", [[
+ SELECT sum("_auto_field_") from (values (NULL), (NULL), (NULL));
+ ]],{
+ ""
+ })
+
+test:do_execsql_test(
+ "func-5-6.2.2", [[
+ SELECT sum("_auto_field_") from (values (123), (123), (123));
+ ]], {
+ 369
+ })
+
+test:do_execsql_test(
+ "func-5-6.2.3", [[
+ SELECT sum("_auto_field_") from (values (-123), (-123), (-123));
+ ]], {
+ -369
+ })
+
+test:do_execsql_test(
+ "func-5-6.2.4", [[
+ SELECT sum("_auto_field_") from (values (-5.5), (-5.5), (-5.5));
+ ]], {
+ -16.5
+ })
+
+test:do_catchsql_test(
+ "func-5-6.2.5", [[
+ SELECT sum("_auto_field_") from (values ('-123'), ('-123'), ('-123'));
+ ]], {
+ 1, "Type mismatch: can not convert -123 to number"
+ })
+
+test:do_catchsql_test(
+ "func-5-6.2.6", [[
+ SELECT sum("_auto_field_") from (values (false), (false), (false));
+ ]], {
+ 1, "Type mismatch: can not convert FALSE to number"
+ })
+
+test:do_catchsql_test(
+ "func-5-6.2.7", [[
+ SELECT sum("_auto_field_") from (values (X'3334'), (X'3334'), (X'3334'));
+ ]], {
+ 1, "Type mismatch: can not convert varbinary to number"
+ })
+
+test:do_execsql_test(
+ "func-5-6.3.1", [[
+ SELECT avg("_auto_field_") from (values (NULL), (NULL), (NULL));
+ ]],{
+ ""
+ })
+
+test:do_execsql_test(
+ "func-5-6.3.2", [[
+ SELECT avg("_auto_field_") from (values (123), (123), (123));
+ ]], {
+ 123
+ })
+
+test:do_execsql_test(
+ "func-5-6.3.3", [[
+ SELECT avg("_auto_field_") from (values (-123), (-123), (-123));
+ ]], {
+ -123
+ })
+
+test:do_execsql_test(
+ "func-5-6.3.4", [[
+ SELECT avg("_auto_field_") from (values (-5.5), (-5.5), (-5.5));
+ ]], {
+ -5.5
+ })
+
+test:do_catchsql_test(
+ "func-5-6.3.5", [[
+ SELECT avg("_auto_field_") from (values ('-123'), ('-123'), ('-123'));
+ ]], {
+ 1, "Type mismatch: can not convert -123 to number"
+ })
+
+test:do_catchsql_test(
+ "func-5-6.3.6", [[
+ SELECT avg("_auto_field_") from (values (false), (false), (false));
+ ]], {
+ 1, "Type mismatch: can not convert FALSE to number"
+ })
+
+test:do_catchsql_test(
+ "func-5-6.3.7", [[
+ SELECT avg("_auto_field_") from (values (X'3334'), (X'3334'), (X'3334'));
+ ]], {
+ 1, "Type mismatch: can not convert varbinary to number"
+ })
+
+test:do_execsql_test(
+ "func-5-6.4.1", [[
+ SELECT total("_auto_field_") from (values (NULL), (NULL), (NULL));
+ ]],{
+ 0
+ })
+
+test:do_execsql_test(
+ "func-5-6.4.2", [[
+ SELECT total("_auto_field_") from (values (123), (123), (123));
+ ]], {
+ 369
+ })
+
+test:do_execsql_test(
+ "func-5-6.4.3", [[
+ SELECT total("_auto_field_") from (values (-123), (-123), (-123));
+ ]], {
+ -369
+ })
+
+test:do_execsql_test(
+ "func-5-6.4.4", [[
+ SELECT total("_auto_field_") from (values (-5.5), (-5.5), (-5.5));
+ ]], {
+ -16.5
+ })
+
+test:do_catchsql_test(
+ "func-5-6.4.5", [[
+ SELECT total("_auto_field_") from (values ('-123'), ('-123'), ('-123'));
+ ]], {
+ 1, "Type mismatch: can not convert -123 to number"
+ })
+
+test:do_catchsql_test(
+ "func-5-6.4.6", [[
+ SELECT total("_auto_field_") from (values (false), (false), (false));
+ ]], {
+ 1, "Type mismatch: can not convert FALSE to number"
+ })
+
+test:do_catchsql_test(
+ "func-5-6.4.7", [[
+ SELECT total("_auto_field_") from (values (X'3334'), (X'3334'), (X'3334'));
+ ]], {
+ 1, "Type mismatch: can not convert varbinary to number"
+ })
+
test:finish_test()
--
2.25.1
next prev parent reply other threads:[~2020-07-16 14:45 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-16 14:45 [Tarantool-patches] [PATCH v6 00/22] sql: change implicit cast imeevma
2020-07-16 14:45 ` [Tarantool-patches] [PATCH v6 01/22] sql: change implicit cast for assignment imeevma
2020-07-16 14:45 ` [Tarantool-patches] [PATCH v6 02/22] sql: use ApplyType to check function arguments imeevma
2020-07-16 14:45 ` [Tarantool-patches] [PATCH v6 03/22] sql: check args of abs() imeevma
2020-07-16 16:12 ` Nikita Pettik
2020-07-16 14:45 ` imeevma [this message]
2020-07-16 16:21 ` [Tarantool-patches] [PATCH v6 04/22] sql: check args of avg(), sum() and total() Nikita Pettik
2020-07-16 14:45 ` [Tarantool-patches] [PATCH v6 05/22] sql: check args of char() imeevma
2020-07-16 16:27 ` Nikita Pettik
2020-07-16 14:45 ` [Tarantool-patches] [PATCH v6 06/22] sql: check args of length() imeevma
2020-07-16 16:31 ` Nikita Pettik
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 07/22] sql: check operands of LIKE imeevma
2020-07-16 17:03 ` Nikita Pettik
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 08/22] sql: check args of lower() and upper() imeevma
2020-07-16 17:09 ` Nikita Pettik
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 09/22] sql: check args of position() imeevma
2020-07-16 17:28 ` Nikita Pettik
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 10/22] sql: check args of randomblob() imeevma
2020-07-16 17:28 ` Nikita Pettik
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 11/22] sql: check args of replace() imeevma
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 12/22] sql: check args of round() imeevma
2020-07-16 14:46 ` [Tarantool-patches] [PATCH v6 13/22] sql: check args of soundex() imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 14/22] sql: check args of substr() imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 15/22] sql: check args of unicode() imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 16/22] sql: check args of zeroblob() imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 17/22] sql: remove unused DOUBLE to INTEGER conversion imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 18/22] sql: add implicit cast between numbers in OP_Seek* imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 19/22] sql: change comparison between numbers using index imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 20/22] sql: remove implicit cast from comparison opcodes imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 21/22] sql: fix implicit cast in opcode MustBeInt imeevma
2020-07-16 14:47 ` [Tarantool-patches] [PATCH v6 22/22] sql: remove implicit cast from MakeRecord opcode imeevma
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d64262254e0eef6ac6fca9b0c4c45c2e32399e64.1594909974.git.imeevma@gmail.com \
--to=imeevma@tarantool.org \
--cc=korablev@tarantool.org \
--cc=tarantool-patches@dev.tarantool.org \
--cc=tsafin@tarantool.org \
--subject='Re: [Tarantool-patches] [PATCH v6 04/22] sql: check args of avg(), sum() and total()' \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox