开源llama.cpp Releases·原文 2026年11月4日

llama.cpp发布b12083,修复ggml_roll边界检查中的有符号溢出

该版本由GitHub Actions机器人发布,变更说明只有一项:ggml_roll原先用abs(shift) 校验移位量,而abs(INT_MIN) 会在边界检查执行前触发有符号整数溢出(UB),现改为有符号安全的比较方式。

llama.cpp发布构建b12083。发布说明中唯一的代码变更来自PR #30375:修复ggml_roll边界检查中的有符号整数溢出。

修复内容:abs(INT_MIN) 的未定义行为

发布说明写道,ggml_roll原本用abs(shift) 校验每个移位量,但abs(INT_MIN) 是有符号整数溢出,属于未定义行为(UB),且该求值发生在边界检查运行之前。修复改为使用有符号安全的比较方式。这一变更针对的是ggml中ggml_roll的边界检查逻辑。

  • 变更编号:PR #30375
  • 原写法:abs(shift)
  • 问题:abs(INT_MIN) 为有符号整数溢出,属未定义行为,先于边界检查求值
  • 新写法:有符号安全的比较

发布范围:多平台预编译包

发布页列出b12083在macOS/iOS、Linux、Android、Windows等平台的预编译产物链接,并包含Vulkan、CUDA 12、CUDA 13、ROCm 10.0、OpenVINO、SYCL、OpenCL Adreno等后端构建。发布说明未提供性能、精度或兼容性方面的测试结果。部分构建在页面中标注为DISABLED,例如启用KleidiAI的macOS Apple Silicon构建和openEuler构建。

信息来源

llama.cpp Releases原始来源