1 static unsigned long foo(unsigned long val, void *ref)
   2 {
   3         if (val >= ref)
   4                 val = 0;
   5         return val;
   6 }
   7 
   8 /*
   9  * check-name: bad-type-twice1
  10  *
  11  * check-error-start
  12 bad-type-twice1.c:3:17: error: incompatible types for operation (>=)
  13 bad-type-twice1.c:3:17:    left side has type unsigned long val
  14 bad-type-twice1.c:3:17:    right side has type void *ref
  15  * check-error-end
  16  */