diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-19 17:43:45 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-20 11:25:51 +0100 |
| commit | 9c188dcb35c031978b940db7ab1e4497589e160b (patch) | |
| tree | 4e20660c7bf91c85c8b8e3a93c0d62b62e259cf9 /validation/backend | |
| parent | 25dbd228c11410218242e585c598697005c707ea (diff) | |
| download | sparse-dev-9c188dcb35c031978b940db7ab1e4497589e160b.tar.gz | |
testsuite: fix: remove unneeded './' before commands
Some testcases have their command specified as './<command name>'
but the './' part is unneeded as all commands are first prefixed
with '../' before being run.
Furthermore, the presence of these './' inhibit simple
filtering of the disabled commands.
Fix this by stripping the './' where it was used.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/backend')
| -rw-r--r-- | validation/backend/degenerate-ptr.c | 2 | ||||
| -rw-r--r-- | validation/backend/function-ptr-xtype.c | 2 | ||||
| -rw-r--r-- | validation/backend/label-as-value.c | 2 | ||||
| -rw-r--r-- | validation/backend/load-global.c | 2 | ||||
| -rw-r--r-- | validation/backend/pointer-add.c | 2 | ||||
| -rw-r--r-- | validation/backend/pointer-cmp.c | 2 | ||||
| -rw-r--r-- | validation/backend/pointer-param.c | 2 | ||||
| -rw-r--r-- | validation/backend/setval.c | 2 | ||||
| -rw-r--r-- | validation/backend/shift-special.c | 2 | ||||
| -rw-r--r-- | validation/backend/string-value.c | 2 | ||||
| -rw-r--r-- | validation/backend/switch.c | 2 | ||||
| -rw-r--r-- | validation/backend/symaddr.c | 2 | ||||
| -rw-r--r-- | validation/backend/type-constant.c | 2 |
13 files changed, 13 insertions, 13 deletions
diff --git a/validation/backend/degenerate-ptr.c b/validation/backend/degenerate-ptr.c index 8de979e0..052eefd9 100644 --- a/validation/backend/degenerate-ptr.c +++ b/validation/backend/degenerate-ptr.c @@ -68,5 +68,5 @@ void global(void) /* * check-name: degenerated pointer handling - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/function-ptr-xtype.c b/validation/backend/function-ptr-xtype.c index 9cdfab05..126fec8f 100644 --- a/validation/backend/function-ptr-xtype.c +++ b/validation/backend/function-ptr-xtype.c @@ -33,5 +33,5 @@ int bar(int (*fn)(int), int arg1, int arg2) /* * check-name: mutate function pointer's type - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/label-as-value.c b/validation/backend/label-as-value.c index 6888c661..ec436f39 100644 --- a/validation/backend/label-as-value.c +++ b/validation/backend/label-as-value.c @@ -9,5 +9,5 @@ yes: return &&yes; /* * check-name: label-as-value - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/load-global.c b/validation/backend/load-global.c index dedb35f3..16ad03bd 100644 --- a/validation/backend/load-global.c +++ b/validation/backend/load-global.c @@ -17,5 +17,5 @@ int loadpi(void) { return *p; } /* * check-name: use simple value from global vars - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/pointer-add.c b/validation/backend/pointer-add.c index f92c892b..d4615140 100644 --- a/validation/backend/pointer-add.c +++ b/validation/backend/pointer-add.c @@ -50,5 +50,5 @@ int *iretincc(int *p, int o) { return p += 3; } /* * check-name: pointer-add - * check-command: ./sparsec -Wno-decl -c $file -o r.o + * check-command: sparsec -Wno-decl -c $file -o r.o */ diff --git a/validation/backend/pointer-cmp.c b/validation/backend/pointer-cmp.c index d1eec0ed..7e0d8d7d 100644 --- a/validation/backend/pointer-cmp.c +++ b/validation/backend/pointer-cmp.c @@ -8,5 +8,5 @@ int cmpnptr(int *x, long y) { return x == (int*)y; } /* * check-name: pointer comparison - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/pointer-param.c b/validation/backend/pointer-param.c index b705e6f4..65c23a5b 100644 --- a/validation/backend/pointer-param.c +++ b/validation/backend/pointer-param.c @@ -38,5 +38,5 @@ void foo(int *p, int a[5], int (*pfun)(int)) /* * check-name: pointer-param - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/setval.c b/validation/backend/setval.c index e3557571..66ac970a 100644 --- a/validation/backend/setval.c +++ b/validation/backend/setval.c @@ -3,5 +3,5 @@ float setfval32(void) { return 1.23F; } /* * check-name: setval-float - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/shift-special.c b/validation/backend/shift-special.c index d5e4d3d3..9b682371 100644 --- a/validation/backend/shift-special.c +++ b/validation/backend/shift-special.c @@ -9,5 +9,5 @@ long shift(long a, short b) /* * check-name: shift-special - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/string-value.c b/validation/backend/string-value.c index 8cdec4a2..ae0b7b74 100644 --- a/validation/backend/string-value.c +++ b/validation/backend/string-value.c @@ -17,5 +17,5 @@ void call(void) /* * check-name: string-value - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/switch.c b/validation/backend/switch.c index d77250cc..499b5e3c 100644 --- a/validation/backend/switch.c +++ b/validation/backend/switch.c @@ -244,5 +244,5 @@ int switch_cmov(int a) /* * check-name: llvm-switch - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/symaddr.c b/validation/backend/symaddr.c index 71fb9def..2943b8cb 100644 --- a/validation/backend/symaddr.c +++ b/validation/backend/symaddr.c @@ -66,5 +66,5 @@ void gfoo(int *p, int a) /* * check-name: symbol address - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/type-constant.c b/validation/backend/type-constant.c index cded7f2e..596a6819 100644 --- a/validation/backend/type-constant.c +++ b/validation/backend/type-constant.c @@ -19,5 +19,5 @@ long *linin(void) { long *r = (void*)0; return r; } /* * check-name: type-constant - * check-command: ./sparsec -Wno-decl -c $file -o r.o + * check-command: sparsec -Wno-decl -c $file -o r.o */ |