比较判断R-1-12-4强制

禁止对无符号数进行无意义比较

对无符号数进行无意义比较
test.c
1void foo(unsigned int x, unsigned int y)
2{
3 int always_true = x >= 0;
禁止对无符号数进行无意义比较 [gjb8114-r-1-12-4]
4 always_true = 0 <= x;
禁止对无符号数进行无意义比较 [gjb8114-r-1-12-4]
5 int always_false = y < 0;
禁止对无符号数进行无意义比较 [gjb8114-r-1-12-4]
6 always_false = 0 > y;
禁止对无符号数进行无意义比较 [gjb8114-r-1-12-4]
7}