param_key: fix container of when no struct member is referenced
[smatch.git] / validation / bad-type-twice1.c
bloba9ba182cbc18d62d07d8efee976c62a00d735076
1 static unsigned long foo(unsigned long val, void *ref)
3 if (val >= ref)
4 val = 0;
5 return val;
8 /*
9 * check-name: bad-type-twice1
11 * check-error-start
12 bad-type-twice1.c:3:17: error: incompatible types for operation (>=):
13 bad-type-twice1.c:3:17: unsigned long val
14 bad-type-twice1.c:3:17: void *ref
15 * check-error-end