任务 - BiShengCLanguageDependency - BiShengCLanguageDependency - Gitee.com

12月28日，「开源中国源创会年终盛典」珠海站再次回归！点击免费报名参会

BiShengCLanguageDependency

概览仓库 5 任务 133 Pull Requests 21 动态成员 2

BiShengCLanguageDependency / llvm-project

[source2cource] 源源变换类型依赖未考虑函数指针场景

#IBCO7L

负责人：

[cc1] include 头文件走 -cc1 编译时导致 segfault

次要

bug

#IBCI83

负责人：

[ownership] 可变借用语义错误

#IBCCEH

所有权分析中，如果某个分支调用了_Noreturn的函数，那么该分支不应该报内存泄漏等error

#IBCBIV

[borrow] 对较复杂的条件控制流场景存在漏报

#IBCATQ

负责人：

结构体内有owned字段，用空初始化列表做初始化，使用这个结构体变量时应该报错

#IBC5N7 1

变量 redefinition 导致 segfault

严重

#IB912P

负责人：

创建对struct类型实例的不可变借用后，在其NLL结束之前，调用函数读该实例，编译报错

#IB8S0U

负责人：

owned指针修饰struct时，使用->访问内部变量时，会认为是一个move语句，导致后续函数调用该owned指针变量时报错

#IB8RRN 1

析构函数 This 入参 partially-moved 时，编译未报错

严重

#IB8GJA

负责人：

owned修饰非指针类型变量，编译不报错，与用户手册中的语义规则不符

#IB833F

[generic] 用例代码编译时coredump

#IB81YO

【trait】在unsafe 上下文，允许void * 转为 trait 指针类型，目前编译报错

#IB7FS8

【标准库】raw_vec等数据结构中的指针可以使用_Nonnull或_Nullable标记以增加安全性

主要

#IB7FFH

负责人：

【trait】非泛型 trait 指针变量定义在泛型结构体中，使用时编译报错

#IB7DUH

【运算符重载】不支持[]、-> 运算符

#IB6G9J

【vector】vector元素是borrow类型，编译报类型不兼容

#IB6CUI

【trait】trait T* borrow变量不可以调用const This* this类型的函数

#IB69KJ

[borrow] 使用不可变借用类型实例化泛型参数时丢失const信息

#IB66YV

运算符重载函数同名报错问题

#IB5PPC

负责人：