测试类型

SQL功能

测试版本

7.0.0LTS

问题描述

D 兼容库加载 shark 插件后，基于 binary/varbinary 类型列创建视图时触发 view.cpp 断言失败，导致后端进程 abort，客户端连接断开。

操作系统和硬件信息

不限

测试环境

企业版单机

被测功能

D 兼容库下 shark binary/varbinary 类型列创建视图功能

预置条件

1. 创建 D 兼容数据库。
2. 加载 shark 插件。
3. 开启 default_collation。
4. debug/cassert 编译版本下可观察到断言失败。
5. 当前数据库编码为 SQL_ASCII 时可稳定触发。

操作步骤

1. 连接 D 兼容数据库，确认数据库编码。
   show server_encoding;
   如果结果不是 SQL_ASCII，则新建 SQL_ASCII 编码的 D 兼容数据库后继续验证。
2. 确认 shark 插件已加载。
   create extension if not exists shark;
3. 执行复现 SQL。
   复现 SQL：

drop schema if exists sys1 cascade;
create schema sys1;
set search_path to sys1;

create table students (
    name varchar(100) not null,
    grade decimal(5,2)
);

-- 必 崩溃 sql
create view student_grades as
select name, grade from students;

注：另外尝试去在 D 兼容库加载 shark 后，显式创建包含 varbinary 类型字段的表，并基于该字段执行 CREATE VIEW，触发 view.cpp 断言失败。

预期输出

CREATE TABLE 成功。
CREATE VIEW 成功。

或者在类型/排序规则不兼容时返回明确 ERROR，不应触发数据库后端 abort，不应导致连接断开。

实际输出

执行 create view 时连接断开，数据库崩溃。

日志信息

core-log可见：https://gitcode.com/liyangx/log-record-all/blob/main/issues/server/issue8379/shark_core_reparse.log

提单组织

内部开发

测试代码