blob: 55a2b463968e709131e8610d4f77654c0f263f62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
typedef unsigned int u32;
int seq(int a) { return a == a; }
int sne(int a) { return a != a; }
int slt(int a) { return a < a; }
int sgt(int a) { return a > a; }
int sle(int a) { return a <= a; }
int sge(int a) { return a >= a; }
u32 ueq(u32 a) { return a == a; }
u32 une(u32 a) { return a != a; }
u32 ult(u32 a) { return a < a; }
u32 ugt(u32 a) { return a > a; }
u32 ule(u32 a) { return a <= a; }
u32 uge(u32 a) { return a >= a; }
/*
* check-name: tautological-compare
* check-command: sparse -Wno-decl -Wtautological-compare $file
*
* check-error-start
tautological-compare.c:3:30: warning: self-comparison always evaluates to true
tautological-compare.c:4:30: warning: self-comparison always evaluates to false
tautological-compare.c:5:29: warning: self-comparison always evaluates to false
tautological-compare.c:6:29: warning: self-comparison always evaluates to false
tautological-compare.c:7:30: warning: self-comparison always evaluates to true
tautological-compare.c:8:30: warning: self-comparison always evaluates to true
tautological-compare.c:10:30: warning: self-comparison always evaluates to true
tautological-compare.c:11:30: warning: self-comparison always evaluates to false
tautological-compare.c:12:29: warning: self-comparison always evaluates to false
tautological-compare.c:13:29: warning: self-comparison always evaluates to false
tautological-compare.c:14:30: warning: self-comparison always evaluates to true
tautological-compare.c:15:30: warning: self-comparison always evaluates to true
* check-error-end
*/
|
