db/fixup_kernel.sh: update vfs_write() code
[smatch.git] / validation / backend / pointer-cmp.c
blob7e0d8d7dac4903eee4a05ac37b706871c1d477f5
1 int cmpint( int x, int y) { return x == y; }
2 int cmpflt( float x, float y) { return x == y; }
3 int cmpvptr(void *x, void *y) { return x == y; }
4 int cmpiptr(int *x, int *y) { return x == y; }
6 int cmpmptr(long x, int *y) { return (int*)x == y; }
7 int cmpnptr(int *x, long y) { return x == (int*)y; }
9 /*
10 * check-name: pointer comparison
11 * check-command: sparsec -Wno-decl -c $file -o tmp.o