forked from sqlancer/sqlancer
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathDatabendErrors.java
More file actions
64 lines (56 loc) · 2.5 KB
/
Copy pathDatabendErrors.java
File metadata and controls
64 lines (56 loc) · 2.5 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
package sqlancer.databend;
import sqlancer.common.query.ExpectedErrors;
public final class DatabendErrors {
private DatabendErrors() {
}
public static void addExpressionErrors(ExpectedErrors errors) {
errors.add("Division by zero");
errors.add("divided by zero");
errors.add("/ by zero");
errors.add("ORDER BY position");
errors.add("GROUP BY position");
errors.add("no overload satisfies `not(Float64 NULL)`"); // TODO databend不允许出现not(float)，而a/b为float
errors.add("no overload satisfies `not(Float64)`");
errors.add("number overflowed while evaluating function"); // 表达式数值溢出
if (DatabendBugs.bug9162) {
errors.add("downcast column error");
}
if (DatabendBugs.bug9018) {
errors.add("index out of bounds");
}
if (DatabendBugs.bug9163) {
errors.add("validity must be equal to the array's length");
}
if (DatabendBugs.bug9224) {
errors.add("Can't cast column from nullable data into non-nullable type");
}
if (DatabendBugs.bug9234) {
errors.add("called `Option::unwrap()` on a `None` value");
}
if (DatabendBugs.bug9264) {
errors.add("assertion failed: offset + length <= self.length");
}
if (DatabendBugs.bug9806) {
errors.add("segment pruning failure");
}
/*
* TODO column为not null 时，注意default不能为null DROP DATABASE IF EXISTS databend2; CREATE DATABASE databend2; USE
* databend2; CREATE TABLE t0(c0VARCHAR VARCHAR NULL, c1VARCHAR VARCHAR NULL, c2FLOAT FLOAT NOT NULL
* DEFAULT(NULL)); CREATE TABLE t1(c0INT BIGINT NULL); INSERT INTO t0(c1varchar, c0varchar) VALUES
* ('067596','19'), ('', '87');
*/
errors.add("Can't cast column from null into non-nullable type");
}
public static void addInsertErrors(ExpectedErrors errors) {
errors.add("Division by zero");
errors.add("/ by zero");
errors.add("Can't cast column from null into non-nullable type");
errors.add("number overflowed while evaluating function `"); // 不能在int16类型column上插入int64的数据
}
public static void addGroupByErrors(ExpectedErrors errors) {
errors.add("Division by zero");
errors.add("/ by zero");
errors.add("Can't cast column from null into non-nullable type");
errors.add("GROUP BY position");
}
}