rosenberg: strip away some casting (eliminates a false positive)
[smatch.git] / validation / compare-null-to-int.c
blob08e556b32daeac09ed95ddf22a61237f874ea7d8
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.
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