-fsanitize=bounds-strict是否能检测-fsanitize=address未覆盖的内容？

首先直接回答问题：-fsanitize=bounds-strict确实能检测部分-fsanitize=address覆盖不到的数组越界场景，但你给出的例子属于两者都无法触发检测的特殊情况。

你的例子为何没触发检测？ #

1. bounds-strict的局限性 #

当数组作为函数参数传递时，C语言会自动将其退化为指针类型。在你的sum函数中，参数a实际是double*而非double[1000]——此时编译器丢失了原数组的边界信息，bounds-strict无法验证a[i + offset]是否超出原数组的范围，自然无法触发检测。

2. AddressSanitizer的局限性 #

a和b是栈上相邻分配的数组（中间的1032-1000=32字节是栈对齐的padding），你通过offset = b - a计算出的偏移，本质是让a的指针越界指向了b的内存区域。而AddressSanitizer只检测对进程合法内存范围之外，或已释放/未分配内存块的访问，这里访问的b的内存属于栈上已分配的合法区域，所以ASAN不会报错。

bounds-strict能检测ASAN覆盖不到的场景 #

根据GCC手册描述，-fsanitize=bounds-strict针对数组边界做了更严格的插桩，能覆盖一些ASAN处理不到的情况：

• 对柔性数组成员的越界访问：比如结构体末尾的柔性数组，ASAN可能因为内存布局的问题无法精准检测，而bounds-strict可以基于结构体的元信息验证访问是否合法。
• 编译期可确定边界的静态数组越界（初始化器除外）：比如在函数内直接操作静态数组，当编译器能明确追踪数组长度时，bounds-strict可以在运行时精准验证每一次下标访问，哪怕越界访问的是进程合法内存（比如栈上其他变量），只要超出数组本身的边界就会触发报错——这一点是ASAN做不到的，因为ASAN只关心内存块的合法性，不关心数组的逻辑边界。

举个简单例子，以下代码用bounds-strict会触发检测，但ASAN不会（因为越界访问的是栈上的c变量，属于合法内存）：

#include <stdio.h>

int main() {
    int arr[5] = {1,2,3,4,5};
    int c = 0;
    // 越界访问arr[5]，实际是变量c的内存
    printf("%d\n", arr[5]);
    return 0;
}

编译运行：

$ gcc -fsanitize=bounds-strict test.c && ./a.out
runtime error: index 5 out of bounds for type 'int[5]'

而用-fsanitize=address编译运行则不会报错，只会输出0。

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