瞭解警告「比較提升〜無符號與無符號」

Question

我遇到了一個警告，我不太明白。這個警告是通過比較我認爲是一個無符號和另一個無符號的符號而產生的。

這裏是源：

#include <stdint.h> 
#include <stdlib.h> 
#include <stdio.h> 
#include <assert.h> 

int main() 
{ 
    uint8_t *arr = malloc(8); 
    assert(arr); 

    /* fill arr[] with stuff */ 

    if (arr[3] != (uint8_t)(~arr[2])) { // Warning is here 
     /* stuff */ 
    } 
    return EXIT_SUCCESS; 
} 

我所要建造採用以下步驟：

user@linux:~ $ gcc -o test -Wall -Wextra test.c 
test.c: In function ‘main’: 
test.c:13:16: warning: comparison of promoted ~unsigned with unsigned [-Wsign-compare] 

我使用gcc版本4.7.2 20121109（紅帽4.7.2-8）

如何解決上述問題？

Answer 1

是的，我認爲它的錯誤。閱讀[Bug c/38341] Wrong warning comparison of promoted ~unsigned with unsigned和Why, warning: comparison between signed and unsigned integer expressions?。這可能會幫助你。

Answer 2

我有同樣的問題，我的工作圍繞它通過使用一箇中間變量：

uint8_t check = ~arr[2]; 
if (arr[3] != check)