diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-19 21:45:07 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-17 10:04:37 +0100 |
| commit | cec2a1d03f10003498209f2311f4a86865c6fbf3 (patch) | |
| tree | 61a4ef05ca56cbc30a4d5d35912fb144f066bcdb | |
| parent | 0f753a946feda65dbb1d6f0cb90206c5316cf90d (diff) | |
| download | sparse-dev-cec2a1d03f10003498209f2311f4a86865c6fbf3.tar.gz | |
llvm: add test case pointer compare with cast
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | validation/backend/pointer-cmp.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/validation/backend/pointer-cmp.c b/validation/backend/pointer-cmp.c index fa76d1b5..d1eec0ed 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 |