GCC-12报数组越界错误是否为误报？

问题代码 #

#define IP_AS_V6(storage, f) ((struct sockaddr_in6 *)&(storage))->sin6_##f
static inline int ip_check_equal_v6
  (const struct sockaddr_storage *a, const struct sockaddr_storage *b)
    { return ((uint64_t *)IP_AS_V6(a, addr).s6_addr)[0] == ((uint64_t *)IP_AS_V6(b, addr).s6_addr)[0] &&
             ((uint64_t *)IP_AS_V6(a, addr).s6_addr)[1] == ((uint64_t *)IP_AS_V6(b, addr).s6_addr)[1]; }

编译报错信息 #

error: array subscript 2 is outside array bounds of 'const struct sockaddr_storage[0]' [-Werror=array-bounds]
    5 |              ((uint64_t *)IP_AS_V6(a, addr).s6_addr)[1] == ((uint64_t *)IP_AS_V6(b, addr).s6_addr)[1]; }
      |                                                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~

问题根源分析 #

这不是GCC 12的bug，而是代码存在两处严重问题：

1. 宏定义的致命错误 #

宏IP_AS_V6中使用&(storage)是完全错误的：

• 函数参数a是const struct sockaddr_storage*类型的指针，&(storage)取的是指针变量本身的地址（类型为const struct sockaddr_storage**），而非指针指向的结构体地址。
• 强制将该地址转换为struct sockaddr_in6*后，后续访问sin6_addr实际是在操作指针变量的内存区域（64位系统中仅占8字节），而非目标sockaddr_storage结构体的内存。

当你尝试访问s6_addr数组的第2个uint64_t元素（下标1）时，必然会超出指针变量的内存边界，触发GCC 12增强的数组越界检测机制，导致报错。

2. 未定义的类型转换（潜在问题） #

即使修正宏的地址问题，直接将sockaddr_storage强制转换为sockaddr_in6的行为，在C标准中属于未定义行为——标准并未保证这两个结构体的内存布局完全兼容。虽然POSIX系统通常会让sockaddr_storage足以容纳sockaddr_in6，但正确的做法应该先检查ss_family字段确认是AF_INET6，再进行转换。

修正后的代码 #

#include <stdint.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <string.h>

// 修正宏：直接转换指针，而非取指针的地址
#define IP_AS_V6(storage, f) ((const struct sockaddr_in6 *)(storage))->sin6_##f

static inline int ip_check_equal_v6(const struct sockaddr_storage *a, const struct sockaddr_storage *b)
{
    // 先验证地址族为IPv6，避免非法转换
    if (a->ss_family != AF_INET6 || b->ss_family != AF_INET6) {
        return 0;
    }

    const struct in6_addr *addr_a = &IP_AS_V6(a, addr);
    const struct in6_addr *addr_b = &IP_AS_V6(b, addr);

    // 两种比较方式任选其一：
    // 方式1：按64位整数比较
    const uint64_t *a64 = (const uint64_t *)addr_a->s6_addr;
    const uint64_t *b64 = (const uint64_t *)addr_b->s6_addr;
    return a64[0] == b64[0] && a64[1] == b64[1];

    // 方式2：用memcmp更简洁安全（推荐）
    // return memcmp(addr_a, addr_b, sizeof(struct in6_addr)) == 0;
}

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