使用优化 (GCC) 时，'while' 语句的工作方式不同

Question

这样一段代码我有问题：

uint8_t var1, var2, var3, var4, var5[];
...
while ( ((var1 & var2) != var3) && (var4 < (sizeof(var5)/sizeof(var5[0]))) ){
... do something
}

我在 GCC 中有一个 -O3（最优化）选项。在这种情况下，代码以某种奇怪的不可预测的方式工作。 当我有一个-O0（无优化）选项时，它工作得很好。

如何强制带有-O3 选项的编译器不只优化while(...) 行？ 我尝试在内部使用volatile，但没有成功。我想打开-O3 选项，但要让代码正常工作。

编辑：

好的，这是完整的示例代码。可能是我的错，但我不明白问题出在哪里。

#include <stdio.h>
#include <stdlib.h>
#include <inttypes.h>


struct st{
    uint8_t     var1;
    uint8_t     var2;
};


int main(void) {

    uint8_t         k = 0;

    uint8_t         arr1[4] = {0, 0b11000000, 0b10000000, 0};

    const struct st arr2[] = {

            {0b11000000, 0b11000000},
            {0b10000000, 0b11000000}
    };

    printf("size of arr2: %d \n\n",sizeof(arr2)/sizeof(arr2[0]));

    while ( ((arr1[k] & arr2[k].var2) != arr2[k].var1) && (k < (sizeof(arr2)/sizeof(arr2[0]))) ){
        printf("k: %d \n",k);
        k++;
    }



    return 0;
}

用 -O0 和 -O3 运行它，你会看到区别。

EDIT2： -O0 的输出：

size of arr2: 2

k: 0
K: 1

使用-O3：

size of arr2: 2

k: 0
K: 1
k: 2
K: 3

我希望 k 在任何 -O 选项下不应超过 2。

Answer 1

由于 cmets 部分的噪音太大：

正如@Kevin 所说，您的while (B && A) 应该是while (A && B)，因为A 正在检查边界并且语句从左到右执行直到错误。因此，B 将在数组索引 k 在达到 A 评估为 false 并停止循环之前超出范围时调用未定义的行为。