c - 警告 : array subscript is above array bounds [-Warray-bounds] when compiling using -O3 flag

Question

我仍然不明白为什么我收到这个警告 array subscript is above array bounds [-Warray-bounds] 对于一个小的 C 代码如下:

#include <stdio.h>
#include <string.h>

static int _memcmp( const void *x, const void *y, size_t size ){
    const char *s1 = (char*)x, *s2 = (char*)y;

    int ret;
    ret = s1[0] - s2[0];
    if ( size == 1 || ret != 0 )
        return ret;

    ret = s1[1] - s2[1];
    if ( size == 2 || ret != 0 )
        return ret;

    ret = s1[2] - s2[2];
    if ( size == 3 || ret != 0 )
        return ret;

    ret = s1[3] - s2[3];
    if ( size == 4 || ret != 0 )
        return ret;

    ret = s1[4] - s2[4];
    if ( size == 5 || ret != 0 )
        return ret;

    ret = s1[5] - s2[5];
    if ( size == 6 || ret != 0 )
        return ret;

    ret = s1[6] - s2[6];
    if ( size == 7 || ret != 0 )
        return ret;

    ret = s1[7] - s2[7];
    if ( size == 8 || ret != 0 )
        return ret;

    ret = s1[8] - s2[8];
    if ( size == 9 || ret != 0 )
        return ret;

    ret = s1[9] - s2[9];
    if ( size == 10 || ret != 0 )
        return ret;

//0-20
    ret = s1[10] - s2[10];
    if ( size == 11 || ret != 0 )
        return ret;

    ret = s1[11] - s2[11];
    if ( size == 12 || ret != 0 )
        return ret;

    ret = s1[12] - s2[12];
    if ( size == 13 || ret != 0 )
        return ret;

    ret = s1[13] - s2[13];
    if ( size == 14 || ret != 0 )
        return ret;

    ret = s1[14] - s2[14];
    if ( size == 15 || ret != 0 )
        return ret;

    ret = s1[15] - s2[15];
    if ( size == 16 || ret != 0 )
        return ret;

    ret = s1[16] - s2[16];
    if ( size == 17 || ret != 0 )
        return ret;

    ret = s1[17] - s2[17];
    if ( size == 18 || ret != 0 )
        return ret;

    ret = s1[18] - s2[18];
    if ( size == 19 || ret != 0 )
        return ret;

    ret = s1[19] - s2[19];
    if ( size == 20 || ret != 0 )
        return ret;

    return memcmp( s1 + 20, s2 + 20, size - 20 );
}

void t1(){
    char *x = "hihihaha";
    printf("%d\n", _memcmp( x, "ha", 2 ));
}

void t2(){
    char *x = "hihihaha";
    printf("%d\n", _memcmp( x, "hi", 2 ));
}
int main(){
    return 0;
}

当我使用 03 标志编译时，我得到了这条消息:

gcc-7 -O3 -Wall -o mem_cmp mem_cmp.c
mem_cmp.c: In function ‘_memcmp.part.0.constprop’:
mem_cmp.c:89:23: warning: array subscript is above array bounds [-Warray-bounds]
     return memcmp( s1 + 20, s2 + 20, size - 20 );

我尝试过使用 gcc-4.9 和 gcc-5 但没有成功。

编辑:

我很想知道为什么会出现警告，而不是代码风格。 (我很了解memcmp。当然_memcmp可以通过for重新实现，但我想获得一些循环。)

Answer 1

您的memcmp 假定内存s1+20 位于数组s1 中——但事实并非如此。即使编译器没有对此进行提示 - 你也会遇到未定义的行为(可能从程序崩溃到正确执行。这不是你应该回答的。)。主要是从编译磁贴中已知的字符串文字大小推断出这一点。

正确的是

return memcmp( s1, s2, min(strlen(s1),strlen(s2)));

其中 min(x,y) 返回 x 和 y 的最小值。

首先检查大小，然后访问数组。首先进行大小检查，然后索引到数组中。使用 for 循环可以减少此处的重复代码。我的意思是，无论您在那些 if 语句中对不同索引所做的任何操作都可以打包到一个 block 中，以便它可以与 for 循环一起使用(索引变量表示每次迭代中更改的值).

另请注意，如果您最后使用的是 memcmp，则不要单独检查字符 - 不需要这样做。您可以直接使用 memcmp 检查它，然后输出结果。