【缺陷】cjc -O2 编译 ICE (begin of range is zero)-UsersForum-AtomGit

已关闭

【缺陷】cjc -O2 编译 ICE (begin of range is zero) #3351

Xniao创建于 7月12日关闭于 5 天前

Xniao社区开发者

7月12日创建

系统环境

Darwin 25.5.0 Darwin Kernel Version 25.5.0: Mon Apr 27 20:41:26 PDT 2026; root:xnu-12377.121.6~2/RELEASE_ARM64_T8132 arm64
Cangjie Compiler: 1.2.0-alpha.20260711020029 (cjnative)
Target: aarch64-apple-darwin

Ubuntu 22.04
Linux 1a41afa15d2e 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 x86_64 x86_64 GNU/Linux
Cangjie Compiler: 1.2.0-alpha.20260711020029 (cjnative)
Target: x86_64-unknown-linux-gnu

问题描述

使用 cjc 无优化选项编译 test.cj 可正常通过；使用 cjc -O2 开启优化后，编译器崩溃，出现下面的报错信息

$ cjc -O2 test.cj
Cangjie Compiler: 1.2.0-alpha.20260711020029 (cjnative)
Target: aarch64-apple-darwin
Internal Compiler Error: begin of range is zero
Please report this to Cangjie team and include the project. Error Code: 12

复现步骤

cjc test.cj
cjc -O2 test.cj

期望效果

编译器应能够正常退出，而非崩溃

源码/附件

const func getSize<T>(): Int64 { 4 }

main(): Int64 {
    var m = VArray<Int64, $10>(repeat: 0)
    m[42 / getSize<Int64>()] |= 42
    0
}

Xniao社区开发者

7月12日添加了label：bug

Cangjie-ZhaoDanrong管理员

7月13日将 kongbx 设为负责人

wangyinqiang

7月17日关联了pull request：fix(chir): pass source location to VARRAY_GET in compound assign to avoid ICE

wangyinqiang

8月14日关联了pull request：test(chir): cover VArray compound-assign out-of-bounds diagnostic under -O2

C Cangjie-huohuixinDTSE

22 天前添加了label：1.3.0-alpha.01

Cangjie-huohuixinDTSE

19 天前评论：

您好，您反馈的问题已经在main分支修复，您可以基于社区的nightly版本验证问题修复，确认无问题后关闭issue。

Cangjie-huohuixinDTSE

5 天前评论：

您好，感谢您的反馈，由于长时间未回复/补充信息，该issue将做关闭处理。如果您后续仍有相关问题，为了更快的响应和解决，请您新建issue，感谢您的配合。

C Cangjie-huohuixinDTSE

5 天前关闭了 issue