xref: /illumos-gate/usr/src/tools/smatch/src/validation/bad-type-twice1.c (revision d865fc92e4b640c73c2957a20b3d82622c741be5)
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  */
17