xref: /illumos-gate/usr/src/tools/smatch/src/validation/compare-null-to-int.c (revision 915894ef19890baaed00080f85f6b69e225cda98)
1 static unsigned int comparison = (void *)0 == 1;
2 /*
3  * check-name: Compare null pointer constant to int
4  * check-description: Sparse used to allow this.
5  *
6  * check-error-start
7 compare-null-to-int.c:1:44: error: incompatible types for operation (==)
8 compare-null-to-int.c:1:44:    left side has type void *
9 compare-null-to-int.c:1:44:    right side has type int
10  * check-error-end
11  */
12