validation/tautological-compare.c

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