diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-03 08:45:36 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-17 10:04:37 +0100 |
| commit | 2d002eb75bfb092f6fed3ba600adfa8e7c13128c (patch) | |
| tree | a79f97860dffba13312d0027c1556f56cdc21cad /validation/backend | |
| parent | accf7112191ba29f0366c8a10332a8a63644db50 (diff) | |
| download | sparse-dev-2d002eb75bfb092f6fed3ba600adfa8e7c13128c.tar.gz | |
llvm: give correct type to binops
Pointer arithmetic and/or simplification can mixup pointer
and integer types.
Fix this by adding casts before all non-floating point binops
and adjust the result type if needed to match the instructio.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/backend')
| -rw-r--r-- | validation/backend/pointer-add.c | 54 | ||||
| -rw-r--r-- | validation/backend/pointer-sub.c | 18 | ||||
| -rw-r--r-- | validation/backend/symaddr.c | 8 |
3 files changed, 80 insertions, 0 deletions
diff --git a/validation/backend/pointer-add.c b/validation/backend/pointer-add.c new file mode 100644 index 00000000..f92c892b --- /dev/null +++ b/validation/backend/pointer-add.c @@ -0,0 +1,54 @@ +char *caddv(char *p, int o) { char *r = p; r = r + o; return r; } +void *vaddv(void *p, int o) { void *r = p; r = r + o; return r; } +int *iaddv(int *p, int o) { int *r = p; r = r + o; return r; } + +char *caddc(char *p, int o) { char *r = p; r = r + 3; return r; } +void *vaddc(void *p, int o) { void *r = p; r = r + 3; return r; } +int *iaddc(int *p, int o) { int *r = p; r = r + 3; return r; } + +char *cincv(char *p, int o) { char *r = p; r += o; return r; } +void *vincv(void *p, int o) { void *r = p; r += o; return r; } +int *iincv(int *p, int o) { int *r = p; r += o; return r; } + +char *cincc(char *p, int o) { char *r = p; r += 3; return r; } +void *vincc(void *p, int o) { void *r = p; r += 3; return r; } +int *iincc(int *p, int o) { int *r = p; r += 3; return r; } + + +char *ciniaddv(char *p, int o) { char *r = p + o; return r; } +void *viniaddv(void *p, int o) { void *r = p + o; return r; } +int *iiniaddv(int *p, int o) { int *r = p + o; return r; } + +char *ciniaddc(char *p, int o) { char *r = p + 3; return r; } +void *viniaddc(void *p, int o) { void *r = p + 3; return r; } +int *iiniaddc(int *p, int o) { int *r = p + 3; return r; } + +char *ciniincv(char *p, int o) { char *r = p += o; return r; } +void *viniincv(void *p, int o) { void *r = p += o; return r; } +int *iiniincv(int *p, int o) { int *r = p += o; return r; } + +char *ciniincc(char *p, int o) { char *r = p += 3; return r; } +void *viniincc(void *p, int o) { void *r = p += 3; return r; } +int *iiniincc(int *p, int o) { int *r = p += 3; return r; } + + +char *cretaddv(char *p, int o) { return p + o; } +void *vretaddv(void *p, int o) { return p + o; } +int *iretaddv(int *p, int o) { return p + o; } + +char *cretaddc(char *p, int o) { return p + 3; } +void *vretaddc(void *p, int o) { return p + 3; } +int *iretaddc(int *p, int o) { return p + 3; } + +char *cretincv(char *p, int o) { return p += o; } +void *vretincv(void *p, int o) { return p += o; } +int *iretincv(int *p, int o) { return p += o; } + +char *cretincc(char *p, int o) { return p += 3; } +void *vretincc(void *p, int o) { return p += 3; } +int *iretincc(int *p, int o) { return p += 3; } + +/* + * check-name: pointer-add + * check-command: ./sparsec -Wno-decl -c $file -o r.o + */ diff --git a/validation/backend/pointer-sub.c b/validation/backend/pointer-sub.c new file mode 100644 index 00000000..4017faf6 --- /dev/null +++ b/validation/backend/pointer-sub.c @@ -0,0 +1,18 @@ +long subv0(void *p, int a) { return p - ((void*)0); } +long subvc(void *p, int a) { return p - ((void*)8); } +long subva(void *p, int a) { return p - ((void*)a); } +long subvq(void *p, void *q) { return p - q; } + +long subi0(int *p, int a) { return p - ((int *)0); } +long subic(int *p, int a) { return p - ((int *)8); } +long subia(int *p, int a) { return p - ((int *)a); } +long subiq(int *p, int *q) { return p - q; } + +long subvm3(void *p, int a) { return (p - ((void*)0)) * 3; } +long subvx3(void *p, int a) { return (p - ((void*)0)) ^ 3; } + +/* + * check-name: pointer-sub + * check-command: sparsec -Wno-decl -c $file -o tmp.o + * check-known-to-fail + */ diff --git a/validation/backend/symaddr.c b/validation/backend/symaddr.c index 17c404f0..8b450111 100644 --- a/validation/backend/symaddr.c +++ b/validation/backend/symaddr.c @@ -10,7 +10,9 @@ void lfoo(int *p, int a) useip(p); useip(larra); useip(larrb + 1); + useip(larrc + a); useip(&larrd[1]); + useip(&larre[a]); useia(&larrf); } @@ -22,7 +24,9 @@ void sfoo(int *p, int a) useip(&s); useip(sarra); useip(sarrb + 1); + useip(sarrc + a); useip(&sarrd[1]); + useip(&sarre[a]); useia(&sarrf); usevp(sfun); usevp(&spun); @@ -36,7 +40,9 @@ void xfoo(int *p, int a) useip(&x); useip(xarra); useip(xarrb + 1); + useip(xarrc + a); useip(&xarrd[1]); + useip(&xarre[a]); useia(&xarrf); usevp(xfun); usevp(&xpun); @@ -50,7 +56,9 @@ void gfoo(int *p, int a) useip(&g); useip(garra); useip(garrb + 1); + useip(garrc + a); useip(&garrd[1]); + useip(&garre[a]); useia(&garrf); usevp(gfun); usevp(&gpun); |