Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
---
validation/backend/pointer-cmp.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/validation/backend/pointer-cmp.c b/validation/backend/pointer-cmp.c
index fa76d1b57..d1eec0ed2 100644
--- a/validation/backend/pointer-cmp.c
+++ b/validation/backend/pointer-cmp.c
@@ -3,6 +3,9 @@ int cmpflt( float x, float y) { return x == y; }
int cmpvptr(void *x, void *y) { return x == y; }
int cmpiptr(int *x, int *y) { return x == y; }
+int cmpmptr(long x, int *y) { return (int*)x == y; }
+int cmpnptr(int *x, long y) { return x == (int*)y; }
+
/*
* check-name: pointer comparison
* check-command: ./sparsec -Wno-decl -c $file -o tmp.o
--
2.12.0
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
