带volatile参数的函数与LLVM kCFI/cfi-icall sanitizer冲突致非法指令错误

问题场景 #

使用Clang 6搭配-fsanitize=cfi-icall -flto编译代码时，调用参数包含volatile结构体的函数指针会触发SIGILL非法指令崩溃；移除Sanitizer和LTO选项后程序运行正常。

原因分析 #

1. Clang 6的CFI-ICALL实现缺陷：Clang 6对带volatile修饰的结构体参数的函数指针类型校验逻辑存在bug。CFI会为函数指针生成类型匹配的校验指令，当参数包含volatile结构体时，编译器推导的校验签名与实际函数的签名不匹配，导致运行时校验失败，触发非法指令。
2. LTO的放大效应：LTO（链接时优化）会进行全局代码分析和优化，进一步加剧了这种类型签名的不匹配问题——Clang 6的CFI实现与LTO阶段的类型处理逻辑兼容性不足，导致校验指令生成错误。

解决方法 #

• 升级Clang版本：Clang 6是较旧的版本，后续版本（如Clang 10及以上）已经修复了大量CFI相关的兼容性问题，包括对volatile参数的类型校验错误。直接升级到更高版本的Clang，配合-fsanitize=cfi-icall -flto即可解决该问题。
• 临时规避方案（无法升级编译器时）：
  • 转换参数类型：在调用函数指针时，将volatile结构体参数转换为非volatile类型（需确认该操作不会破坏程序的内存可见性语义，仅适用于volatile修饰不影响当前调用场景的情况）。
  • 跳过特定函数的CFI校验：使用__attribute__((no_sanitize("cfi-icall")))修饰目标函数或函数指针类型，禁用该函数的CFI校验逻辑。
  • 拆分编译单元：将涉及volatile结构体参数的函数指针调用相关代码单独编译，不使用LTO和CFI选项，其余代码保留原有编译配置。

内容的提问来源于stack exchange，提问作者Simpdanny