Changeset: 65483efcd470 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=65483efcd470
Modified Files:
sql/test/SQLancer/Tests/sqlancer04.sql
sql/test/SQLancer/Tests/sqlancer04.stable.out
Branch: Oct2020
Log Message:
SQLancer query giving assertion error on default
diffs (215 lines):
diff --git a/sql/test/SQLancer/Tests/sqlancer04.sql
b/sql/test/SQLancer/Tests/sqlancer04.sql
--- a/sql/test/SQLancer/Tests/sqlancer04.sql
+++ b/sql/test/SQLancer/Tests/sqlancer04.sql
@@ -330,3 +330,25 @@ ROLLBACK;
select cast(interval '29578044' second as time);
-- 08:07:24
+
+START TRANSACTION;
+create view v3(vc0) as (values (not ((r'%') is not null)), (least(cast(1 as
boolean), not (true))), (case sql_min(r'vFP*鱍', r'&G*')
+when cast(0 as string) then (true) is null when cast(9 as string(678)) then
((true)or(false)) end), (false)) with check option;
+create view v20(vc0) as (values (((sql_max(2,
0.8207251106243245164506561195594258606433868408203125))&(abs(0.25579435)))));
+create view v37(vc0) as (values (r'1837521830'), (replace(coalesce(r'4', r'',
r'20', r'0.5074455058602168'),
+case 1108638173 when 1 then r'PS ' when
0.4804786358649317801194911226048134267330169677734375 then r'' else
+r'XCWVB ' end, cast(false as string)))) with check option;
+create view v40(vc0) as (values ((true) not in (false, false)),
("isauuid"(case 8 when 4 then r'F&' when 0 then r'&' end)));
+
+select cast(sum(count) as bigint) from (select cast(greatest(false, true) as
int) as count from v37 full outer join
+(select all ((((1074663557)%(0.8367095941704169)))%(scale_up(v20.vc0,
0.25281408194923194))), 0.573499282341099
+from v20 where ((((true)or(true)))or(true)) group by 2) as sub0 on
+((case 0.28276833606549456323620006514829583466053009033203125 when 1 then
v37.vc0 when 1436332976 then r'FALSE'
+when 0.4573545 then v37.vc0 else r'G1hw7' end)not ilike(sql_min(r'46',
v37.vc0))) inner join (select (case v3.vc0
+when v40.vc0 then -2078582481 when v40.vc0 then
0.26386297637506184177169643589877523481845855712890625 when v3.vc0
+then 6 when v40.vc0 then
0.37311851701627662958316022923099808394908905029296875 when v40.vc0
+then 0.78255921469665923329017687137820757925510406494140625 end) is null, +
(case r'14' when r'p.e4xf'
+then 0.8350239383024128 when r'6r' then 932574625 when r'[]' then 9 when r''
then 5 when r'LnP/Amb9' then 2 end)
+from v40, v3 where (0.4906208915598539999081140194903127849102020263671875)
not in (1654919043, 6)) as sub1
+on ((trim(v37.vc0))>=(substr(v37.vc0, 9, 8)))) as res;
+ROLLBACK;
diff --git a/sql/test/SQLancer/Tests/sqlancer04.stable.out
b/sql/test/SQLancer/Tests/sqlancer04.stable.out
--- a/sql/test/SQLancer/Tests/sqlancer04.stable.out
+++ b/sql/test/SQLancer/Tests/sqlancer04.stable.out
@@ -52,23 +52,23 @@ stdout of test 'sqlancer04` in directory
#SELECT 1 FROM t1 LEFT OUTER JOIN t0 ON TRUE
#LEFT OUTER JOIN (SELECT 1 FROM t0) AS sub0 ON TRUE
#WHERE (TIME '00:25:07') IN (TIME '07:29:34', CASE 2 WHEN 2 THEN TIME
'17:23:46' ELSE TIME '05:14:30' END);
-% .%21 # table_name
-% %21 # name
+% .%6 # table_name
+% %6 # name
% tinyint # type
% 1 # length
#SELECT 1 FROM t1 LEFT OUTER JOIN t0 ON TRUE
#LEFT OUTER JOIN (SELECT 1 FROM t0) AS sub0 ON TRUE
#WHERE t0.c0 <= t0.c0 AND (TIME '00:25:07') IN (TIME '07:29:34', CASE 2 WHEN 2
THEN TIME '17:23:46' ELSE TIME '05:14:30' END);
-% .%21 # table_name
-% %21 # name
+% .%6 # table_name
+% %6 # name
% tinyint # type
% 1 # length
#SELECT ALL COUNT(TIME '06:32:50') FROM t1 LEFT OUTER JOIN t0 ON TRUE
#LEFT OUTER JOIN (SELECT t1.c1, t0.c1, 0.43 FROM t0, t1) AS sub0 ON TRUE
#WHERE ((NOT ((TIME '00:25:07') IN (TIME '07:29:34', TIME '05:21:58', CASE
0.54 WHEN 0.65 THEN TIME '17:23:46' ELSE TIME '05:14:30' END))))
#GROUP BY TIMESTAMP '1969-12-08 01:47:58';
-% .%13 # table_name
-% %13 # name
+% .%7 # table_name
+% %7 # name
% bigint # type
% 1 # length
[ 3 ]
@@ -121,15 +121,15 @@ stdout of test 'sqlancer04` in directory
[ 11 ]
#SELECT CAST(SUM(ALL 0.14) AS DECIMAL(10,2)) FROM sys.t0 JOIN sys.t1 ON
CAST(CASE t0.c1 WHEN t1.c1 THEN NOT (FALSE) WHEN t1.c1 THEN (t0.c0) NOT
BETWEEN ASYMMETRIC (t1.c0) AND (t0.c0) WHEN t0.c1
#THEN (0.2) IN (0.3) END AS BOOLEAN) GROUP BY NOT (FALSE),
COALESCE(((COALESCE(2, 4, 1))<<(COALESCE(5, -6))), ((COALESCE('-8', -4,
6))|(COALESCE(-2, 3, 4, 5, -6))));
-% .%10 # table_name
-% %10 # name
+% .%6 # table_name
+% %6 # name
% decimal # type
% 12 # length
[ 0.42 ]
#SELECT PROD(ALL 0.14) FROM t0 JOIN t1 ON CAST(CASE t0.c1 WHEN t1.c1 THEN NOT
(FALSE) WHEN t1.c1 THEN (t0.c0) NOT BETWEEN ASYMMETRIC (t1.c0) AND (t0.c0)
WHEN t0.c1
#THEN (0.2) IN (0.3) END AS BOOLEAN) GROUP BY NOT (FALSE),
COALESCE(((COALESCE(2, 4, 1))<<(COALESCE(5, -6))), ((COALESCE(r'-8', -4,
6))|(COALESCE(-2, 3, 4, 5, -6))));
-% .%7 # table_name
-% %7 # name
+% .%5 # table_name
+% %5 # name
% double # type
% 24 # length
[ 0.002744 ]
@@ -191,8 +191,8 @@ stdout of test 'sqlancer04` in directory
#SELECT ALL MAX(ALL CASE WHEN (DATE '1970-01-04') IS NULL THEN CAST(CASE t1.c0
WHEN t1.c0 THEN TIME '11:33:56' END AS VARCHAR(524)) ELSE
sql_max(r'iDfwsFjp藖1J洅ៅR-?0OT^.', r'0.6') END) FROM t1
#JOIN (SELECT ALL t0.c0, greatest(CAST(INTERVAL '6' SECOND AS TIME), TIME
'10:25:00') FROM t1, t0) AS sub0 ON (COALESCE(-3, -6, 3)) NOT IN (CASE WHEN
TRUE THEN -3 END, ((-4)&(-5)), - (6))
#WHERE ((r'%')ILIKE(r'6')) GROUP BY COALESCE(CAST(least(0.4, 0.7) AS
VARCHAR(506)), CAST(nullif(TIME '14:14:35', TIME '02:49:23') AS VARCHAR(388))),
abs(0.6);
-% .%16 # table_name
-% %16 # name
+% .%14 # table_name
+% %14 # name
% varchar # type
% 0 # length
#ROLLBACK;
@@ -214,8 +214,8 @@ stdout of test 'sqlancer04` in directory
#0.6220338267946794 1689393833
[ 4 ]
#SELECT 1 FROM t0 WHERE 'b' = COALESCE('1', CASE WHEN 2 THEN 'a' END);
-% .%2 # table_name
-% %2 # name
+% .%1 # table_name
+% %1 # name
% tinyint # type
% 1 # length
#SELECT MAX(ALL 0.47279814) FROM t0 WHERE ((r'Vቕ*2DGj!K-?')NOT
ILIKE(COALESCE(r'뷿', upper(r'1285890467'), r'R B+ ]%''?E}%<[cöjö媘թ丅MJV%r&伉',
@@ -239,8 +239,8 @@ stdout of test 'sqlancer04` in directory
#"2m^OqPm/3DḞZ02"
[ 5 ]
#SELECT 1 FROM t1 WHERE COALESCE(FALSE, t1.c0 = '0' AND t1.c0 LIKE t1.c0);
-% .%2 # table_name
-% %2 # name
+% .%1 # table_name
+% %1 # name
% tinyint # type
% 1 # length
#SELECT SUM(agg0) FROM (
@@ -266,8 +266,8 @@ stdout of test 'sqlancer04` in directory
#0.6479886625655562
[ 7 ]
#SELECT 1 FROM t1 WHERE COALESCE(1, CAST(t1.c1 AS INT) & COALESCE(1101847419,
2)); --inputs not same size error
-% .%3 # table_name
-% %3 # name
+% .%2 # table_name
+% %2 # name
% tinyint # type
% 1 # length
[ 1 ]
@@ -292,14 +292,14 @@ stdout of test 'sqlancer04` in directory
# CONSTRAINT "t1_c0_unique" UNIQUE ("c0")
#);
#SELECT count(*) FROM t1 CROSS JOIN t0;
-% .%3 # table_name
-% %3 # name
+% .%1 # table_name
+% %1 # name
% bigint # type
% 1 # length
[ 0 ]
#SELECT count(*) FROM t1 CROSS JOIN t0 GROUP BY 0.2;
-% .%4 # table_name
-% %4 # name
+% .%2 # table_name
+% %2 # name
% bigint # type
% 1 # length
#SELECT count(*) FROM t1 CROSS JOIN t0 GROUP BY 0.2 HAVING max((ltrim(')''+'))
NOT IN (CAST(t0.c1 AS VARCHAR(32)), CAST(INTERVAL '6' MONTH AS VARCHAR(32)),
CAST(INTERVAL '7' MONTH AS VARCHAR(32))))
@@ -307,8 +307,8 @@ stdout of test 'sqlancer04` in directory
#SELECT count(*) FROM t1 CROSS JOIN t0 GROUP BY 0.2 HAVING NOT
(max((ltrim(')''+')) NOT IN (CAST(t0.c1 AS VARCHAR(32)), CAST(INTERVAL '6'
MONTH AS VARCHAR(32)), CAST(INTERVAL '7' MONTH AS VARCHAR(32)))))
#UNION ALL
#SELECT count(*) FROM t1 CROSS JOIN t0 GROUP BY 0.2 HAVING
(max((ltrim(')''+')) NOT IN (CAST(t0.c1 AS VARCHAR(32)), CAST(INTERVAL '6'
MONTH AS VARCHAR(32)), CAST(INTERVAL '7' MONTH AS VARCHAR(32))))) IS NULL;
-% .%56 # table_name
-% %4 # name
+% .%50 # table_name
+% %2 # name
% bigint # type
% 1 # length
#ROLLBACK;
@@ -316,8 +316,8 @@ stdout of test 'sqlancer04` in directory
#CREATE TABLE IF NOT EXISTS t0(c0 FLOAT, c1 DECIMAL NULL UNIQUE);
#CREATE TEMP TABLE t1 (c0 TIME);
#SELECT 1 FROM t1 INNER JOIN (SELECT 2 FROM t0) AS sub0 ON CASE 8 WHEN 3 THEN
(4) IN (5, 6, 7) END;
-% .%17 # table_name
-% %17 # name
+% .%7 # table_name
+% %7 # name
% tinyint # type
% 1 # length
#SELECT t1.c0 FROM t1 INNER JOIN (SELECT ALL CAST(TIMESTAMP '1970-01-07
06:59:48' AS TIMESTAMP) FROM t0) AS sub0 ON CASE t1.c0 WHEN sql_min(t1.c0,
t1.c0)
@@ -349,8 +349,8 @@ stdout of test 'sqlancer04` in directory
#125146072.000 NULL
[ 4 ]
#SELECT 1 FROM t1 WHERE CASE WHEN CASE t1.c1 WHEN t1.c1 THEN FALSE ELSE TRUE
END THEN COALESCE(FALSE, FALSE) END;
-% .%3 # table_name
-% %3 # name
+% .%2 # table_name
+% %2 # name
% tinyint # type
% 1 # length
#SELECT t0.c1, t0.c0 FROM t1 FULL OUTER JOIN t0 ON CASE WHEN CASE t1.c1 WHEN
t1.c1 THEN CAST(FALSE AS INT) ELSE abs(-1677579573) END
@@ -424,8 +424,8 @@ stdout of test 'sqlancer04` in directory
#1699639666.000
[ 5 ]
#select interval '-1680612084' second from t3 natural join (select t4.c0,
(cast(r'*' as boolean)) = false from t2, t0, t4) as sub0 group by t3.c0;
-% .%13 # table_name
-% %13 # name
+% .%3 # table_name
+% %3 # name
% sec_interval # type
% 5 # length
#ROLLBACK;
@@ -435,6 +435,25 @@ stdout of test 'sqlancer04` in directory
% time # type
% 8 # length
[ 08:07:24 ]
+#START TRANSACTION;
+#create view v3(vc0) as (values (not ((r'%') is not null)), (least(cast(1 as
boolean), not (true))), (case sql_min(r'vFP*鱍', r'&G*')
+#when cast(0 as string) then (true) is null when cast(9 as string(678)) then
((true)or(false)) end), (false)) with check option;
+#create view v20(vc0) as (values (((sql_max(2,
0.8207251106243245164506561195594258606433868408203125))&(abs(0.25579435)))));
+#create view v37(vc0) as (values (r'1837521830'), (replace(coalesce(r'4', r'',
r'20', r'0.5074455058602168'),
+#case 1108638173 when 1 then r'PS ' when
0.4804786358649317801194911226048134267330169677734375 then r'' else
+#r'XCWVB ' end, cast(false as string)))) with check option;
+#create view v40(vc0) as (values ((true) not in (false, false)),
("isauuid"(case 8 when 4 then r'F&' when 0 then r'&' end)));
+#select cast(sum(count) as bigint) from (select cast(greatest(false, true) as
int) as count from v37 full outer join
+#(select all ((((1074663557)%(0.8367095941704169)))%(scale_up(v20.vc0,
0.25281408194923194))), 0.573499282341099
+#from v20 where ((((true)or(true)))or(true)) group by 2) as sub0 on
+#((case 0.28276833606549456323620006514829583466053009033203125 when 1 then
v37.vc0 when 1436332976 then r'FALSE'
+#when 0.4573545 then v37.vc0 else r'G1hw7' end)not ilike(sql_min(r'46',
v37.vc0))) inner join (select (case v3.vc0
+% .%37 # table_name
+% %37 # name
+% bigint # type
+% 1 # length
+[ 8 ]
+#ROLLBACK;
# 09:44:50 >
# 09:44:50 > "Done."
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
